travis: attempt to placate travis by specifying a version explicitly in `opam`