Add excluded cbmc/enum regression tests

Author: Enrico Steffinlongo

regression/cbmc/enum-trace1/test_json.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 --json-ui --function test --trace
 activate-multi-line-match

regression/cbmc/enum-trace1/test_xml.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 --xml-ui --function test --trace
 activate-multi-line-match

regression/cbmc/enum3/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 
 ^EXIT=0$

regression/cbmc/enum_is_in_range/enum_test4.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 enum_test4.c
 
 ^EXIT=10$

regression/cbmc/enum_is_in_range/enum_test8.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 enum_test8.c
 
 ^EXIT=10$