Added phpunit option --coverage-clover