Add missing include goblint.h to regression tests.

Author: jerhard

tests/regression/84-c2po/24-disequalities-small-example.c

@@ -1,4 +1,5 @@
 // PARAM: --set ana.activated[+] c2po --set ana.activated[+] startState --set ana.activated[+] taintPartialContexts --set ana.c2po.askbase false
+#include <goblint.h>
 
 int *a, b;
 c() { b = 0; }

tests/regression/84-c2po/25-struct-circular.c

@@ -1,6 +1,7 @@
 // PARAM: --set ana.activated[+] c2po --set ana.activated[+] startState --set ana.activated[+] taintPartialContexts --set ana.c2po.askbase false
 
 #include <stdlib.h>
+#include <goblint.h>
 
 struct mem {
     int val;