[gitmodules][xs]: switch from git:// to https:// as github now wants that.