`docker pull' image instead of building if no path is given

Instead of failing, give the option to pull the image from index.docker.io.