Use the progress formatter for rspec

Travis caps log output to 10,000 lines on the web, which means some
failures will only be visible by downloading the entire log file.