Map Ctrl-Tab to switch tabs; fixes #5

- Only works in GUI :(
- I will try to find a new key that works in Terminal too