Travis configuration fixes for coverall