Remove unused -testscript option that does nothing

The code related to "Ivo's testscript" was removed in 2014 - see
991212c7 and
b9012aff.

src/main/java/de/tlc4b/TLC4B.java

@@ -285,7 +285,6 @@ public class TLC4B {
 			TLC4BGlobals.setTool(!line.hasOption(TOOL.arg()));
 			TLC4BGlobals.setCheckltl(!line.hasOption(NOLTL.arg()));
 			TLC4BGlobals.setForceTLCToEvalConstants(!line.hasOption(LAZYCONSTANTS.arg()));
-			TLC4BGlobals.setRunTestscript(line.hasOption(TESTSCRIPT.arg()));
 			TLC4BGlobals.setCreateTraceFile(!line.hasOption(NOTRACE.arg()));
 			TLC4BGlobals.setDeleteOnExit(line.hasOption(DEL.arg()));
 			TLC4BGlobals.setPartialInvariantEvaluation(line.hasOption(PARINVEVAL.arg()));

src/main/java/de/tlc4b/TLC4BGlobals.java

@@ -30,8 +30,6 @@ public class TLC4BGlobals {
 	private static int workers;
 	private static int dfid_initial_depth;
 
-	private static boolean runTestscript;
-
 	static {
 		resetGlobals();
 	}
@@ -65,7 +63,6 @@ public class TLC4BGlobals {
 		hideTLCConsoleOutput = false; // is mapped to TOOLIO.tool
 		deleteFilesOnExit = false; // if enabled: deletes all created '.tla', '.cfg' files on exit of the JVM.
 			// This includes the created B2TLA standard modules (e.g. Relation, but not Naturals etc.).
-		runTestscript = false;
 		createTraceFile = true;
 	}
 
@@ -77,14 +74,6 @@ public class TLC4BGlobals {
 		TLC4BGlobals.createTraceFile = createTraceFile;
 	}
 
-	public static boolean isRunTestscript() {
-		return runTestscript;
-	}
-
-	public static void setRunTestscript(boolean runTestscript) {
-		TLC4BGlobals.runTestscript = runTestscript;
-	}
-
 	public static int getDEFERRED_SET_SIZE() {
 		return DEFERRED_SET_SIZE;
 	}

src/main/java/de/tlc4b/TLC4BOption.java

@@ -13,7 +13,6 @@ public enum TLC4BOption {
 	TMP("tmp", "", null),
 	NOLTL("noltl", "no checking of LTL assertions", null),
 	LAZYCONSTANTS("lazyconstants", "", null),
-	TESTSCRIPT("testscript", "", null),
 	NOTRACE("notrace", "do not generate counter example trace", null),
 	DEL("del", "", null),
 	PARINVEVAL("parinveval", "", null),