An Android library for navigation using Google Maps API v2