Change default.xml to use https, rather than git

Some firewalls block git :(