Use HTTPS instead of HTTP for KO submodules