NDK R9 64 bits support and usage of latest Android NDK tools

- Added support for NDK R9 64 bits.
- Added new config to build with NDK R9: use latest supported gcc toolchain (4.8 at this time), target Android API level 14 (was previously 9) and no debug symbol (removed -g flag).