Switching to repo.jenkins-ci.org

Repository on our domain name would allow us to control redirection
better.

maven.glassfish.org being down makes this issue a higher priority.
This is a permanent change --- even if m.g.o is back we won't be
going back.