Added keypress to refresh page with Ctrl+R, in addition to F5, emulating
behaviour of classic Opera.