repro script

Docker/repro.sh

@@ -55,9 +55,9 @@ run() {
     now=`date`
     echo "$now: Running $1 $2 $3 $4 $5 ..."
     logfile="${1}_${3}_${4}_${5}.out${LOGSUFFIX}"
-    ./set-networking $3 $4
+    sh set-networking.sh $3 $4
     echo "Network setup: $3 $4" >> $logfile
-    ./run-experiment $1 $2 $5 >> $logfile
+    sh run-experiment.sh $1 $2 $5 >> $logfile
 }
 
 # Parse the output logs.  We run this in the docker in case you don't