Add kinetic scrolling functions
Bump version numbers to 0.12.5 (and gtk2hsC2hs to 0.13.8).  Update dependencies to make sure people get the latest versions.  Update Sourcce-Repository to point at github.