disable OCAML4.02.1+OPAM1.0.0 on travis