Added Ctrl+R shortcut to reload, emulating classic Opera behaviour