docker: Allow passing $DOCKER_USER to set the username in the container

Needs to be reflected in the documentation and the dockerhub description now.

Closes #881