[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 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: I1a8b222058f5892c34f5ab5ca1d37ef6c73def87