[Dillo-dev] [patch] Improving keyboard shortcuts for tab navigation

This patch adds keyboard shortcuts for the tabs 0 - 9. You can reach them by pressing Ctrl concurrently with the number number of the tab you would like to see. Thus, for the first tab this is Ctrl-0. Alternatively, you can press Ctrl-Home. To get to the last tab, simply press Ctrl-End. In addition the modifier for moving left and right between tabs has been changed from Shift to Ctrl because it makes sense to have an unified modifier for all tab movement operations. --Tim