PHPUnit_TextUI_ResultPrinter as formatter