Fix broken run_docker.sh script.
Fix broken run_docker.sh script.

Need to use sudo (not all users are in docker group).

grep|tail|cut|sed on output of docker inspect is fragile and breaks when "Name"
appears multiple times. Use the very nice --format option instead.

jlmucb/cloudproxy,William-J-Earl/cloudproxy,tmroeder/cloudproxy,cjpatton/cloudproxy,cjpatton/cloudproxy,William-J-Earl/cloudproxy,cjpatton/cloudproxy,tmroeder/cloudproxy,kevinawalsh/cloudproxy,tmroeder/cloudproxy,tmroeder/cloudproxy,jlmucb/cloudproxy,jethrogb/cloudproxy,William-J-Earl/cloudproxy,jethrogb/cloudproxy,kevinawalsh/cloudproxy,jlmucb/cloudproxy,jethrogb/cloudproxy,William-J-Earl/cloudproxy,jethrogb/cloudproxy,William-J-Earl/cloudproxy,jlmucb/cloudproxy,jlmucb/cloudproxy,cjpatton/cloudproxy,tmroeder/cloudproxy,cjpatton/cloudproxy,jethrogb/cloudproxy