install.py: add a bunch of plugins
mappings: replace CtrlPHg* mappings with general CtrlPHg command