Add tests for incorrect number of goto binaries specified

Author: thomasspriggs

regression/goto-bmc/arguments/missing-input.desc

@@ -0,0 +1,10 @@
+CORE
+
+
+^EXIT=6$
+^SIGNAL=0$
+Please give exactly one binary file
+--
+--
+Test that an appropriate error message is produced when no input goto binary is
+specified.

regression/goto-bmc/goto-bmc-symex-ready-goto/positive1/two_inputs.desc

@@ -0,0 +1,12 @@
+CORE
+main.c
+main.goto.symex_ready
+^EXIT=6$
+^SIGNAL=0$
+Please give exactly one binary file
+--
+--
+Test that an appropriate error message is produced when too many input goto
+binaries are specified. A copy of the `main.goto.symex_ready` argument will
+be generated by the `chain.sh` script from the specified `main.c`. This yields
+2 copies of this argument including the one in this file.