improve travis file for coverage