speedup and update Travis CI

There are now binary distributions of opam, so should be faster to use
that. Also, we were not setting OPAMJOBS. Note I had to use
--force-yes to apt-get, else was Ubuntu refused to install opam.