Use progress format on travis