Add Ctrl-1..8 and Ctrl-9 keybindings to switch tabs.

Ctrl-1 through Ctrl-8 switch to the specified tab, while Ctrl-9 will
switch to the last tab.  This matches the behavior of modern browsers
like Firefox and Chrome.