Opera 15+ extension for easy tab switching