stddoclet: Add @doc tag to grab text and in-line it

Name: vi73552 Date: 04/05/99

Add another tag, like @doc, to javadoc.

This tag would be similar to @see. The difference
is that @see provides a link to the documentation
to see, while @doc would grab the referred-to
documentation and in-line it.

This is useful in cases where you want to copy
and paste the documentation, but is more useful
since you only have the documentation in one
place, making it less error-prone.
(Review ID: 56524)
======================================================================