travis: update to use opam 1.2 and pinning

Also remove the qemu arm chroot for now for speed.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>