Converted submodules sources from git to https (for easier proxy passthrough)