Cookbook: set up Docker on the Jenkins server.