wait a bit more if necessary for container stop

wait a bit more if necessary for container stop

diff --git a/launcher b/launcher
index 82c6825..96b8869 100755
--- a/launcher
+++ b/launcher
@@ -806,7 +806,7 @@ case "$command" in
           echo "Stopping old container"
           (
             set -x
-            $docker_path stop -t 10 $config
+            $docker_path stop -t 60 $config
           )
       fi
 

GitHub sha: 49ed1415