Remove jumpkeys feature and add custom buffer shortcuts

This feature replaces the 10 "jumpkey" shortcuts (and the shortcuts for
setting them) with arbitrary buffer shortcuts and a UI to set them,
either by right clicking on the buffer and selecting "Set shortcut", or
from the Shortcut Settings page.