Dockerfiles to set up and run Jenkins