Generate Docker file in small shell script.

Rather than leaving customization of the Docker file as a manual step
after checkout, provide a shell script that generates a Dockerfile
given the current user's name, group, and ssh public keys.