Adding (again) Dockerfile.