Generate the JSON snapshot instead of including them

The regression tests are moved to a separate folder to have their own facility
to run the suite.

Author: Petr Bauch

regression/CMakeLists.txt

@@ -50,3 +50,4 @@ add_subdirectory(goto-cc-goto-analyzer)
 add_subdirectory(systemc)
 add_subdirectory(contracts)
 add_subdirectory(goto-harness)
+add_subdirectory(snapshot-harness)

regression/Makefile

@@ -23,6 +23,7 @@ DIRS = cbmc \
        goto-cc-cbmc \
        cbmc-cpp \
        goto-cc-goto-analyzer \
+       snapshot-harness \
        systemc \
        contracts \
        # Empty last line