Push Docker image to DockerHub

[davidrpugh]

Document how to automate the image build process and put result on Docker Hub.

[davidrpugh]

For models-library I want the Docker file to build from the base image of the binder-project.