Support panning with the mouse wheel.

[giomasce]

The movement scheme is based on common browsers, like Firefox and Chromium, assumed to be a good approximation of what users find intuitive.

I realize that would be a change WRT the current behavior, and honestly I'm not too attached to it. I can switch to any other combination for the modifier keys if that's preferred.