fix travis (fresh opam in mirage-dev)