script to make the Jenkins server that runs it become the production Jenkins.