Dockerfile and stuff around to build and run jenkins in Docker container.