switch to https for submodule URL to circumvent firewall problems