Made it easier to rebuild the Docker image after someone else built it

Because we only pushed the final image to Docker Hub, it was impossible to
pull the base image someone else created and "quickly" build a new deploy
image.

Now the deploy scripts push (some) of the intermediate images as well,
making it possible to pull them later. I've added `build-pull.sh` and
`full-pull.sh` to perform this pull and built up from the pulled images.

deploy/full-pull.sh

@@ -0,0 +1 @@
+full-all.sh