src/: Add ability to zoom to a rubber-banded box - use Shift+Left
mouse button drag.  Releasing the left mouse button after the drag is
started changes the box to be centred on the start point.