Changed the default repository URL.

It runs on a different web server now and should be much faster.