.gitmodules: use HTTPS