travis: don't use opam binary installer because it prompts