Fixed travis config file for coverage