Trivial Opera extension so you can switch tabs using Ctrl-PageUp and Ctrl-PageDown