reload page shortcut (ctrl-r)

[Ruben Carlo Benante]

Please add a refresh page option.

Thanks and keep up the good work.

[chris west]

This is added in 4029fca and will be included in the next release. Thanks for the suggestion!