Improve opam and travis files