Implementation of ImageView for Android that supports zooming, by various touch gestures.