A better buffer explorer for CtrlP