Added info about the Jenkins server in the README.