fix travis setup and coverage configuration