travis: skip depexts on opam 1.0.0 as the semantics changed