Updated docker commands to point to public images.

README.md

@@ -285,15 +285,17 @@ use by running a command like:
 $ docker exec -it HARDENS bash -l
 ```
 
-If you are *within Galois network*, you can download the docker image from artifactory:
+If you are *within Galois network* and *you have access rights*, you
+can download the docker image from artifactory:
 
 ```bash
 $ docker pull artifactory.galois.com:5015/hardens:latest
 $ docker run --network host --privileged -v $PWD:/HARDENS -it artifactory.galois.com:5015/hardens:latest
 ```
 
 The helper script `run_docker.sh` executed the above detacted run
-command, using Galois's `artifactory` docker image name.
+command, using Galois's public docker HARDENS image.  The helper
+script `docker_shell.sh` runs a shell in the spawned container.
 
 ### SysMLv2 Container
 

docker_shell.sh

@@ -0,0 +1,4 @@
+#! /usr/bin/env bash
+set -e
+
+docker exec -it hardens bash -l

run_docker.sh

@@ -1,6 +1,4 @@
 #! /usr/bin/env bash
 set -e
 
-sudo docker run --network host --privileged -v ${PWD}:/HARDENS -it \
-    artifactory.galois.com:5015/hardens:latest \
-    $@
+docker run --network host --privileged -v ${PWD}:/HARDENS --name hardens -d -it galoisinc/hardens $@