Merge: Android.nit using native_app_glue and vibration

Merge: Android.nit using native_app_glue and vibration

* 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

Pull-Request: #479
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>