Travis config changed for coverage