am 8d2ceab8: Merge "ART: Add option to abort dex2oat on hard failure"

* commit '8d2ceab800890b562c9a03a7f5920fb9bfb37858':
  ART: Add option to abort dex2oat on hard failure