Run coverage only on Travis CI to allow easier debugging.