Android: Use gradle instead of ant
Android: I think we can get rid of a custom HTTP client
Android: new menu
Android: Display names
Android: cosmetic changes
Android: Prepare release