include contracts in documentation

[sellout]

We can specialize DOCUMENTATION on CONTRACTED-CLASS, but it might be harder to get the function documentation, since we don't (yet) have a subclass of STANDARD-GENERIC-FUNCTION.