Add Dockerfile for running inside a docker container

(see http://docker.io)