Have build-all-dockers first stop any running dockers

repro/build-all-dockers

@@ -31,6 +31,9 @@ else
     ( git clone https://git-crysp.uwaterloo.ca/iang/circuit-oram-docker && cd circuit-oram-docker && git checkout $tag ) || exit 1
 fi
 
+# Stop any existing dockers
+./stop-all-dockers
+
 # Build the three docker images
 echo "Building Duoram docker..."
 echo

repro/stop-all-dockers

@@ -26,3 +26,4 @@ echo Stopping Circuit ORAM dockers
 echo
 ( cd circuit-oram-docker/docker && ./stop-docker ) || exit 1
 
+echo