Update .gitmodules

Replaces the sub-modules' URLs by their public form.