Use https:// instead of git://

git:// uses ports which are usually not available behind many firewalls (especially in universities). This patch makes the submodule use https://, which works over most networks.