Android: add zooming for map

The Android app should allow zooming, either via zoom in/out buttons or a pinch gesture.