Add new-smt-backend tag to book regression test which pass

If we are going to support this tag in the `cmakelists.txt` for the book
examples, then we may as well run some of the tests with it.

Author: thomasspriggs

regression/book-examples/abs/C1.desc

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

regression/book-examples/abs/C13.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 abs.c
 --function abs --signed-overflow-check --show-goto-functions
 ^EXIT=0$

regression/book-examples/abs/C2.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 abs.c
 --function abs --signed-overflow-check
 ^EXIT=10$

regression/book-examples/abs/C3.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 abs.c
 --function abs --signed-overflow-check --trace
 ^EXIT=10$

regression/book-examples/binsearch/C4.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 binsearch.c
 --function binsearch --unwind 6 --bounds-check --unwinding-assertions
 ^EXIT=0$

regression/book-examples/lock/depth.desc

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

regression/book-examples/lock/unwind1.desc

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

regression/book-examples/lock/unwind2.desc

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

regression/book-examples/login/C5.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 login.c
 --unwind 20 --bounds-check
 ^EXIT=10$

regression/book-examples/login/C6.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 login.c
 --show-properties --bounds-check --pointer-check
 ^EXIT=0$