Enable Ctrl+PgUp/PgDn to switch tabs if there are multiple tabs
Users expect Ctrl+PgUp/PgDn to switch tabs, but some terminal applications want to be able to use these keys themselves. Make the same compromise that gnome-terminal does, and let these keys switch tabs if there are multiple tabs in the current window to switch between.
Fixes #118 (closed).