Misc: added a link to the Jenkins server in the README.