Support for ObjectProphecy documented with its generic type

[stof]

When defining the type for a property or a return type holding an ObjectProphecy, the right way to document that is ObjectProphecy<Foo>, not ObjectProphecy|Foo (which would make SA tools complain that the variable might not always be an ObjectProphecy) or ObjectProphecy&Foo (which is an impossible type).

It would be great if this plugin could extract information from a ObjectProphecy<Foo> phpdoc type to know the inner type.