Merge: Standardize the name of Android API level annotations

Rename `min_api_version`, `max_api_version` and `target_api_version` to `android_api_min`, `android_api_max` and `android_api_target`. It fits better with the other `android_` annotations (as seen in `lib/android/aware.nit`) and with the `app_` annotations.

> Please ignore the first commit, it is from #1325.

Pull-Request: #1328
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Ait younes Mehdi Adel <overpex@gmail.com>