[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: b34145c3 -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: I89343f2b9a7dabf03d2f1d42ba3a0afff28b1866