Factored doc formatting into CodexUtil.

Added extra code to resolve docs from an overridden def if the def in question
lacks docs. More work is needed to make Javadoc's {@code inheritDoc} work, but
a lot of the plumbing is now in place.