Scroll bars

Here are some basic scrollbars for the end user.

For the moment, they are permanently displayed if the document is greater than the screen.

Todo: auto-hide the scrollbars once there is no new event requiring a redraw (scroll/zoom).