Travis; do the opam install via a heuristic script