PhpSpec integration to PHP Code Coverage