Add Dockerfile.
Minor adjustment.