Make which dex2oat version to use configurable.

Change-Id: Ic13cf6f9dfb117193a5101781945c501d138955c