Javascript library for inserting a scroll to top button in a webpage