Scroll bars

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