TRAVIS: Update options on coverage.