Docker auto pull images by default

[borsboom]

Since --install-ghc is now enabled by default (#3231) instead of having to run stack setup as as separate step, the corresponding change for Docker is to enable --docker-auto-pull by default instead of needing the separate stack docker pull step.