Add details about adding tests in opam file and simplify the Travis CI files (only one now)