Adding PHPSpec code coverage