PHPUnit_Util_Printer::flush

Flush buffer, optionally tidy up HTML, and close output if it's not to a php stream