More doc fixes
Docs about how to use PHPSpec