add opam file for more convenient pinning
update travis depends