A chrome extension which allows interactive (keyboard-based) switching of tabs