Personal registry.

Build and push the personal registry. Use the full address for the
Docker Hub registry as opposed to the personal registry.