modify travis ci with coverage