Rename DockerFile to Dockerfile

Docker accepts only the filename `Dockerfile` for building.