Scroll to top

This adds a "Scroll To Top" button in the lower right hand corner of the browser window. 

You may prefer to have the little snippet of js (scrolltop.js) included in one of the existing js files (view.js maybe?)