php-phpunit-PHPUnit: only enable colors when output to a terminal (backported from 4.4)