closed #2434: Use android_mk_generator.py to generate Box2D and chipmunk's Android.mk file