travis profile for coverall