Add mouse scroll wheel support for zooming.

1) Untested so far
2) OnGenericMotionListener is API 12, so cannot be used as is, but requires
wrapping in proxy classes to be upstream-ready.