Make tab switching also work on international keyboards, where a modifier key
is needed for numbers 1,2... . Tested with a Belgian AZERTY keyboard on
Mountain Lion.

* TerminalTabSwitching.m
  (convertKeyCode:): Converts keycode to unicode keyEquivalent.
  (setupKeyCodes): Initialize the array of keycodes for the 10 number keys.
  (updateTabListMenu): Don't use number keys directly, but use the converted
      keycodes.
  (TerminalTabSwitching load): Call setupKeyCodes.