Use an ARM image on travis instead of x86