Fix gitmodules; stop using copy paste from GitHub to clone.