Update TRACE documentation.

Remove mentions of *trace-value* from the manual.
Mention that SB-DEBUG:ARG can now be used instead.