closed #2434: Add android_mk_generator.py to generate Android.mk