Converting back to almost-coverage-agnostic-travis config