Move ToolDefinition and related classes out of dartdoc_options#2686

srawlins merged 1 commit intodart-lang:masterdart-lang/dartdoc:masterfrom

srawlins:move-tool-definitionsrawlins/dartdoc:move-tool-definitionCopy head branch name to clipboard