Added Linux copy for the files to be created

compile.bat

@@ -0,0 +1,16 @@
+#!/bin/bash
+set -e
+
+source library.sh
+
+address=$1
+filename=`realpath $2`
+username=$3
+modulename=$4
+mode=$5
+
+# Leave this here too, as the call might crash early
+curl $address -d "op=set_input&username=user_manager&element_type=V&value=\"$username\"" -s -S >> /dev/null
+
+cd interface/HUTN
+${python} hutn_compiler/compiler.py $filename grammars/actionlanguage.g $mode $username $modulename $filename $address

link_and_load.bat

@@ -0,0 +1,19 @@
+set address=%1
+set username=%2
+
+set params=%1
+
+:loop
+shift
+if [%1]==[] goto afterloop
+set params=%params% %1
+goto loop
+:afterloop
+
+rem pop it once more
+set params=%1
+goto loop
+
+curl $address -d "op=set_input&username=user_manager&element_type=V&value=\"$username\"" -s -S >> /dev/null
+
+python interface/HUTN/hutn_compiler/linker.py $address $username "$@"

make_all.bat

@@ -0,0 +1,14 @@
+#!/bin/bash
+set -e
+
+username=$1
+address=$2
+shift
+shift
+
+for f in "$@"
+do
+    ./compile.sh $address $f $RANDOM $f CO
+done
+
+./link_and_load.sh $address $username "$@"

make_parallel.bat

@@ -0,0 +1,19 @@
+#!/bin/bash
+set -e
+
+username=$1
+address=$2
+shift
+shift
+
+for f in "$@"
+do
+    ./compile.sh $address $f $RANDOM $f PO --debug &
+done
+
+for job in `jobs -p`
+do
+    wait $job || let "FAIL+=1"
+done
+
+./link_and_load.sh $address $username "$@" --fast

run_modelverse.sh

@@ -1,22 +0,0 @@
-#!/bin/bash
-set -e
-trap "trap - SIGTERM && kill -- -$$" SIGINT SIGTERM EXIT
-
-filename=`realpath $1`
-
-echo "Compiling MvS server"
-cd state/mvs_server
-python python_sccd_compiler/sccdc.py -p threads server.xml
-
-echo "Starting MvS"
-xterm -e "python run_mvs_server.py $filename || read -p \"Press any key to continue\"" &
-
-echo "Waiting for boot-up"
-sleep 1
-
-echo "Compiling MvK server"
-cd ../../kernel/mvk_server
-python python_sccd_compiler/sccdc.py -p threads server.xml
-
-echo "Starting MvK"
-xterm -e "python run_mvk_server.py || read -p \"Press any key to continue\""