[tests] new tests for location of parsing error

tests/syntax/error_end_decl.i

+/* run.config
+EXIT: 1
+STDOPT:
+*/
+
+/*@ assigns *p \from \nothing; */
+void f(char *p)
+
+/*@
+  assigns \result \from \nothing;
+  ensures \result == 0;
+*/
+char g(char *p);

tests/syntax/oracle/static_assert_wrong.res.oracle

+[kernel] Parsing static_assert_wrong.i (no preprocessing)
+[kernel] static_assert_wrong.i:8: 
+  syntax error:
+  Location: line 8, between columns 0 and 3, before or at token: int
+  6     _Static_assert(1,"assert succeeds")
+  7     
+  8     int x = 0;
+        ^^^
+[kernel] Frama-C aborted: invalid user input.

tests/syntax/static_assert_wrong.i

+/* run.config*
+   EXIT: 1
+   STDOPT:
+*/
+
+_Static_assert(1,"assert succeeds")
+
+int x = 0;