dex2oat: default to speed-profile if we have a profile. am: 89b85ebb4a

Change-Id: I6ae1e4059cf756bc3cf6719173f8d47ec33b091c