Extends Android's ImageView providing pinch- and double-tap-zoom.