[automerger skipped] pm.dexopt.* props in runtime_libart.mk becomes optional...

[automerger skipped] pm.dexopt.* props in runtime_libart.mk becomes optional am: 8af29d4e am: be2948a1 am: dae0b3fa -s ours

am skip reason: Change-Id I044486d313d699607cd54222ae34d9eae24762b9 with SHA-1 bca4ea47 is in history

Original change: https://googleplex-android-review.googlesource.com/c/platform/build/+/12042310

Change-Id: Ia7a5a7dd8849ec2f456225a81d534a290721401c