Doc generation improvements.
Doc generation improvements.

Besides a bit of cleanup, introduces an options file template.

BUG=
R=keertip@google.com

Review URL: https://codereview.chromium.org//1710213003 .

alexeieleusis/dart-lang_linter,dart-lang/linter,alexeieleusis/dart-lang_linter,dart-lang/linter