The API for figuring out whether or not to run Proguard on Android builds