Add Dockerfile for building a Docker image, add instructions in DOCKER.md