Adding repo.jenkins-ci.org. Fixes #29. (pluginRepositories should be picked up from the parent POM, so not needed here.)