Merge branch 'dev_0.9.2' of github.com:openworm/OpenWorm into dev_0.9.2

Author: pgleeson

build.cmd

@@ -1 +1 @@
-docker build -t "openworm/openworm:0.9.3" .
+docker build -t "openworm/openworm:0.9.2" .

run-shell-only.cmd

@@ -6,5 +6,5 @@ docker run -it ^
     -e OW_OUT_DIR=%OW_OUT_DIR% ^
     --privileged ^
     -v %HOST_OUT_DIR%:%OW_OUT_DIR%:rw ^
-    openworm/openworm:0.9.3 ^
+    openworm/openworm:0.9.2 ^
     /bin/bash

run.cmd

@@ -20,7 +20,7 @@ docker run -d ^
   -e DURATION=%DURATION% ^
   --privileged ^
   -v %HOST_OUT_DIR%:%OW_OUT_DIR%:rw ^
-  openworm/openworm:0.9.3 ^
+  openworm/openworm:0.9.2 ^
   /bin/bash -c "python master_openworm.py"
 
 docker logs -f openworm