Bug 859830: determine Android API level through android/api-level.h instead. r=glandium
Bug 859830: deprecate ANDROID_VERSION in favor of android/api-level.h. r=ted