widget: Implement smooth scrolling

Scroll the history (scrollback buffer) by pixels rather than rows.
This gives a better user experience especially with touchpads.

Also, use the extra area at the bottom (if the window is not
grid-aligned) to show some text when scrolling.

https://bugzilla.gnome.org/show_bug.cgi?id=746690