A php result printer for PhpUnit