Add Dockerfile

Add a Dockerfile for use in Docker.