Fixes gitmodules

Now the .gitmodules uses the git:// protocol (instead of https).