remove smooth scrolling option
start implementing scroll widget. drew mockup
Merge remote-tracking branch 'github/master' into newscrollwidget

Conflicts:
	hoodle-core/src/Hoodle/GUI/Menu.hs
bug fix in idfilepathdb. revive diffdb and syncdb (but not fully reimplementing diffdb) new dumpiddb function
absorb dumpiddb.hs into idfilepathdb list