changed default behat formatter to progress