Running the Jenkins automation server in Docker