Added (very!) basic mini-map
Added new setting "display mini-map"
Moved mini-map to separate UserControl
Added mapping between translations of the ZoomControl/Graph and the
viewport rectangle. Works, but not very well.