Don't run coverage on travis-ci