js/scrolling: use animation frames to synch scroll events to browser display updates, leads to a smoother/slicker ui, fixes #5001

git-svn-id: svn://develop.studip.de/studip/trunk@32162 c5b85792-5220-0410-ad23-ed5b6b8ad999