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

[automerger skipped] pm.dexopt.* props in runtime_libart.mk becomes optional am: 85471ed8 am: 47d50f51 -s ours am: b884d1ab -s ours

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

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

Change-Id: Ib42f985c0bb30411cc7e95ee498d96d244609ee8