add the CtrlP plugin