Fixed ports in run-mitigator.

run-mitigator

@@ -1,2 +1,2 @@
 #!/bin/bash
-docker run --device /dev/isgx --device /dev/gsgx --name mitigator --rm -p 8044:8044 -dt mitigator bash -c "start-aesmd && exec bash"
+docker run --device /dev/isgx --device /dev/gsgx --name mitigator --rm -p 8001:8001 -dt mitigator bash -c "start-aesmd && exec bash"