Dockerfile for running Jenkins in Docker.