Automate builds of official Docker images

The Docker images are currently built and pushed by me, manually.

We need automation: every change merged to the Dockerfile should result in a new image being pushed to the Docker hub with a unique tag, and the 'latest' tag being updated.