Use progress formatter on Travis