travis-ci: remove irrelevant coverage info