.gitmodule:  Use https rather than git URL.

iThis helps people behind firewalls.