These changes add a dockerfile and a makefile target for building a
Docker image.