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