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>
Merge pull request #13 from djs55/add-opam

travis: update to use opam 1.2 and pinning
Added profiling/tracing support