Fix most missing function declarations in regression tests

Author: sim642

tests/regression/00-sanity/02-minimal.c

@@ -1,3 +1,5 @@
+#include <goblint.h>
+
 int main() {
   __goblint_check(1); // reachable, formerly TERM
   return 0;

tests/regression/00-sanity/03-no_succ.c

@@ -1,3 +1,5 @@
+#include <goblint.h>
+
 int main() {
   __goblint_check(1); // reachable, formerly TERM
   return 0;

tests/regression/00-sanity/05-inf_loop.c

@@ -1,3 +1,5 @@
+#include <goblint.h>
+
 int main()
 {
   while (1);

tests/regression/00-sanity/06-term1.c

@@ -1,3 +1,5 @@
+#include <goblint.h>
+
 int main() {
   int i;
   while (1);

tests/regression/00-sanity/07-term2.c

@@ -1,4 +1,5 @@
 #include<stdlib.h>
+#include <goblint.h>
 
 void f() {
   exit(0);

tests/regression/00-sanity/08-asm_nop.c

@@ -1,3 +1,5 @@
+#include <goblint.h>
+
 int main() {
   __asm__ ("nop");
   __goblint_check(1); // reachable, formerly TERM

tests/regression/00-sanity/10-loop_label.c

@@ -1,3 +1,5 @@
+#include <goblint.h>
+
 int main () {
   while (1) {
     while_1_continue: /* CIL label */ ;

tests/regression/00-sanity/41-both_branches-2.c

@@ -4,6 +4,8 @@ struct S {
   int *f[1];
 };
 
+struct S *magic();
+
 int main() {
   struct S* s;
   s = magic();

tests/regression/01-cpa/34-def-exc.c

@@ -1,4 +1,5 @@
 // PARAM: --enable ana.int.def_exc --enable ana.int.interval
+#include <stdlib.h>
 #include <goblint.h>
 #define LONGS(x) (((x) + sizeof(unsigned long) - 1)/sizeof(unsigned long))
 #include<stdbool.h>

tests/regression/02-base/59-evalint-deep.c

@@ -2,7 +2,7 @@
 // contains deep integer expressions that shouldn't cause extremely exponential slowdown
 // when evaluated by base's eval_rv and EvalInt jointly
 // runs (as unknown) under 0.1s
-
+#include <stdlib.h>
 #include <goblint.h>
 void assume_abort_if_not(int cond) {
   if(!cond) {abort();}