Use HTTPS addresses instead of git-prefixed ones in .gitmodules

[SeSodesa]

Now the submodules should be recursively clonable, even by users of HTTPS. Closes #15.