Don't use jacoco on travis since reports are not published.