.gitmodules: switch away from repo.or.cz