[travis] Adjustments for coveralls reporting