visitor: Add JSON and HTML output for doccomments.