Use HTTPS URLS for gitmodules

This gets rid of authentication errors for other people pulling