.gitmodules: add vendor/ctrlp
tools/gitmodules-gen: support new submodule .git format
regenerated .gitmodules
git:// => https://
README: add a link to CtrlP