Travis: add --yes to apt-get and opam