Class graphing.ZoomGraphWindow

A ZoomGraphWindow is a GraphWindow together with methods to change scale easily (zooming in and zooming out).
The mouse draws out a rubber band on the screen and doZoomToBox() snaps the viewing rectangle to
this box.