Add format-classpath script, and convert tests to use it

Author: smowton

regression/cbmc-java/overlay-class/correct-test-win.desc

@@ -1,6 +1,6 @@
 CORE OS-LINUX OS-MACOS
 Test.class
---classpath .:annotations:correct-overlay --verbosity 10
+`./format_classpath.sh . annotations correct-overlay` --verbosity 10
 ^Getting class `Test' from file \./Test\.class$
 ^Getting class `Test' from file correct-overlay/Test\.class$
 ^Adding symbol from overlay class:  field 'x'$

regression/cbmc-java/overlay-class/correct-test.desc

@@ -1,6 +1,6 @@
 CORE OS-LINUX OS-MACOS
 Test.class
---classpath .:annotations:.:correct-overlay --verbosity 10
+`./format_classpath.sh . annotations . correct-overlay` --verbosity 10
 ^Getting class `Test' from file \./Test\.class$
 ^Getting class `Test' from file correct-overlay/Test\.class$
 ^Skipping duplicate definition of class Test not marked with OverlayClassImplementation$

regression/cbmc-java/overlay-class/duplicate-test-win.desc

@@ -0,0 +1,13 @@
+#!/bin/bash
+
+unameOut="$(uname -s)"
+case "${unameOut}" in
+    CYGWIN*)    separator=";";;
+    MINGW*)     separator=";";;
+    MSYS*)      separator=";";;
+    Windows*)   separator=";";;
+    *)          separator=":"
+esac
+
+echo -n "--classpath "
+echo -n `IFS=$separator; echo "$*"`

regression/cbmc-java/overlay-class/duplicate-test.desc

@@ -1,6 +1,6 @@
 CORE OS-LINUX OS-MACOS
 Test.class
---classpath annotations:correct-overlay:. --verbosity 10
+`./format_classpath.sh annotations correct-overlay .` --verbosity 10
 ^Getting class `Test' from file correct-overlay/Test\.class$
 ^Getting class `Test' from file \./Test\.class$
 ^Skipping class Test marked with OverlayClassImplementation but found before original definition$