Adding the plugin CtrlP