This adds a simple Dockerfile for anyone to just `docker build .` and get a Docker image. This Dockerfile is optimized for human consumption, not for build performance.