Add separate file for debugging the MvK (for now...)

scripts/run_debug_modelverse.py

@@ -0,0 +1,10 @@
+import subprocess
+import sys
+
+# sys.executable to use the same Python interpreter used to invoke this command
+if len(sys.argv) != 2:
+    sys.stderr.write("Expected different parameters!\n")
+    sys.stderr.write("    %s port\n" % sys.argv[0])
+else:
+    subprocess.check_call([sys.executable, "-m", "sccd.compiler.sccdc", "-p", "threads", "server.xml"], cwd="kernel/mvk_server")
+    subprocess.call([sys.executable, "run_mvk_server.py", sys.argv[1]], cwd="kernel/mvk_server")

scripts/run_local_modelverse.py

@@ -7,4 +7,4 @@ if len(sys.argv) != 2:
     sys.stderr.write("    %s port\n" % sys.argv[0])
 else:
     subprocess.check_call([sys.executable, "-m", "sccd.compiler.sccdc", "-p", "threads", "server.xml"], cwd="hybrid_server")
-    subprocess.call([sys.executable, "run_mvk_server.py", sys.argv[1]], cwd="kernel/hybrid_server")
+    subprocess.call([sys.executable, "run_mvk_server.py", sys.argv[1]], cwd="hybrid_server")