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

Resending #6065, this time with a proper branch