Update script to catch errors instead of fatals

tests/spec/extend_extern.ml

@@ -25,7 +25,7 @@ let main () =
       "Checking handler of exception occurring in extension typing";
     Ast.compute (); assert false
   with
-  | Log.AbortFatal _ -> Kernel.feedback "Extension typing failed as expected"
+  | Log.AbortError _ -> Kernel.feedback "Extension typing failed as expected"
   | Not_found -> Kernel.fatal "kernel did not capture our exception"
   | Assert_failure _ -> Kernel.fatal "kernel silently captured our exception"
 

tests/spec/oracle/extend_extern.res.oracle

 [kernel] Checking handler of exception occurring in extension typing
 [kernel] Parsing extend_extern.i (no preprocessing)
 [kernel] Failure: Typechecking ACSL extension why3 raised exception Not_found
+[kernel:annot-error] extend_extern.i:6: Warning: 
+  Logic typing error. Ignoring global annotation
+[kernel] User Error: warning annot-error treated as fatal error.
+[kernel] User Error: stopping on file "extend_extern.i" that has errors.
 [kernel] Extension typing failed as expected