Android.nit

* Wrap and use the core features of the NDK's ANativeActivity and native_app_glue's android_app to implement app.nit on Android
* Cleans up a lot a code from mnit_android::android_app
* Intro android::vibration and use it in Dino
* Bonus: Fix mnit apps under Linux