Now zoom in/out around the mouse position (closes #201). Also various improvements and quite a bit of cleaning up of our plotting widget.