[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: 137ec857 -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: I6e93181714360addddfef4e50574c5b63822a0ef