Canvas scrolling and zooming

Add support for scrolling and zooming of the painting area.

In particular:

- [ ] manual scrolling via dragging
- [ ] zooming with mouse wheel
- [ ] programmatic zoom level via variable
- [ ] programmatic panning via function
- [ ] programmatic viewport position and size setting
- [ ] robot autofollow checkbox
- [ ] programmatic autofollow