android-arm: Update NDK to 13b and API to 16
android-arm: Update NDK to 13b and API to 16

API level 16 still covers the majority of systems:

  https://developer.android.com/about/dashboards/index.html

  https://developer.android.com/ndk/guides/stable_apis.html

thewtex/cross-compilers,dockcross/dockcross,dockcross/dockcross,thewtex/cross-compilers,dockcross/dockcross,dockcross/dockcross,thewtex/cross-compilers,thewtex/cross-compilers