paginator: Support discrete scrolling

Support scrolling on devices like mice. Switch a page when a scroll event arrives and add a delay to prevent too fast scrolling.

Use animation duration as a delay, but don't let it go below 250ms, mainly to ensure it still works with animations disabled.

Switch trackpoint to use discrete scrolling too, as swiping may be awkward.

Fixes #155 (closed)

Signed-off-by: Alexander Mikhaylenko alexm@gnome.org