Add regression test for JSON goals output

Goals need to be in an array and the summary counts
must be outside the array.

Author: peterschrammel

regression/cbmc-cover/json-goals1/main.c

@@ -0,0 +1,6 @@
+int main(int argc, char **argv)
+{
+  if(argc == 42)
+    return 0;
+  return 1;
+}

regression/cbmc-cover/json-goals1/test.desc

@@ -0,0 +1,9 @@
+CORE
+main.c
+--json-ui --cover location
+activate-multi-line-match
+^EXIT=0$
+^SIGNAL=0$
+\{\n\s*"goals": \[\n\s*\{\n\s*"description": ".*",\n\s*"goal": "main\.coverage\.[1-4]",\n\s*"sourceLocation": \{(\n.+){5}\},\n\s*"status": "satisfied"\n\s*\},\n\s*\{\n\s*"description": ".*",\n\s*"goal": "main\.coverage\.[1-4]",\n\s*"sourceLocation": \{(\n.+){5}\},\n\s*"status": "satisfied"\n\s*\},\n\s*\{\n\s*"description": ".*",\n\s*"goal": "main\.coverage\.[1-4]",\n\s*"sourceLocation": \{(\n.+){5}\},\n\s*"status": "satisfied"\n\s*\},\n\s*\{\n\s*"description": ".*",\n\s*"goal": "main\.coverage\.[1-4]",\n\s*"sourceLocation": \{(\n.+){5}\},\n\s*"status": "satisfied"\n\s*\}\n\s*\],\n\s*"goalsCovered": 4,\n\s*"totalGoals": 4\n\s*\}
+--
+^warning: ignoring