TextUI frontend for PHP_CodeCoverage