Double tap to zoom

Per Android guidelines, double touch drag up should decrease content scale and double touch drag down should increase content scale. This is also the behavior in the official Google Maps Android application.

http://developer.android.com/design/patterns/gestures.html

This change set also adds double tap to zoom functionality using `Animator#animateZoom(...)`.