git: use https for public submodule fetching