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

Resending #6065