greasemonkey script to reload page