Repinch

This is the beginning of a rewrite of how we do pinch and zoom
gestures.

The old-fashioned MultiTouchController is made obsolete by built-in
Android APIs, so we use them. And we support panning while pinching
and loading tiles while doing anything.