Touch up the docker start, attach, stop scripts

attach-mitigator

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+docker exec -it  mitigator bash

run-mitigator

@@ -1,8 +1,2 @@
 #!/bin/bash
-docker container stop mitigator_base_setup && docker container rm mitigator_base_setup
-CONTAINER=$(docker container ls -a | grep "mitigator_base_setup") 
-if [[ -z $CONTAINER ]]; then 
-	docker run --device /dev/isgx --device /dev/gsgx --name mitigator_base_setup -dt mitigator bash -c "start-aesmd && exec bash"
-fi
-
-docker exec -it  mitigator_base_setup bash
+docker run --device /dev/isgx --device /dev/gsgx --name mitigator --rm -p 8044:8044 -dt mitigator bash -c "start-aesmd && exec bash"

stop-mitigator

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+docker stop mitigator