A slide-out navigation (a.k.a. "Drawer") implementation for Android applications