Abort repro script if run_all_experiments fails

Because it doesn't have enough EPC or RAM, for example

docker/repro

@@ -21,7 +21,7 @@ fi
 
 if [ $skip_experiments == 0 ]; then
     ./start-docker || exit 1
-    docker exec -it ${TEEMS_DOCKER_PREFIX}teems $DOCKER_ENV ./run_all_experiments.py
+    docker exec -it ${TEEMS_DOCKER_PREFIX}teems $DOCKER_ENV ./run_all_experiments.py || { ./stop-docker > /dev/null; exit 1; }
     docker exec -it ${TEEMS_DOCKER_PREFIX}teems ./logs_to_csv.py Experiments/ID Experiments/id-channel.csv
     docker exec -it ${TEEMS_DOCKER_PREFIX}teems ./logs_to_csv.py Experiments/Token Experiments/token-channel.csv
     docker cp ${TEEMS_DOCKER_PREFIX}teems:/root/teems/Experiments/id-channel.csv id-channel.csv