Implementing smoothscroll.js scripts

(even though it’s not working, I’m committing this because it doesn’t
break anything, and Minju & Peter can look at it).