Some editing.

Main point is to see if a commit that doesn't touch the Dockerfile
triggers a build of the image on hub.docker.com. Which would be sub-
optimal...