android: enable pollyhedral optimization by default.

android/app/build.gradle

@@ -15,6 +15,12 @@ android {
         minSdkVersion 3
         targetSdk 34
         compileSdk 34
+
+        externalNativeBuild {
+            cmake {
+                arguments '-DPOLLY=ON'
+            }
+        }
     }
 
     externalNativeBuild {
@@ -64,4 +70,4 @@ static def getBuildNum() {
     int qBuildNum = releaseDate.until(now, ChronoUnit.DAYS)
     int minuteOfDay = now.getHour() * 60 + now.getMinute()
     return qBuildNum * 10000 + minuteOfDay
-}
+}