make travis.cfg aware of coverage