Use HTTPS URL for all submodules

Since the SSH URL will not work for users that do not have a GitHub account, we
only use the HTTPS version.