use progress formatter for travis