Add way to report bugs / ask questions directly from ceylondoc

[FroMage]

We may be able to inject some stuff in the ceylondoc dynamically in order to allow people to ask questions on the API (github or stackoverflow) or report bugs (github). Via javascript, and not in the ceylondoc output itself, since the issue tracker and stuff may change over time and we are not going to regenerate the ceylondoc, while changing it for the module in Herd will be easier.

[tombentley]

You mean something like a -include-script=myScript.js option which would add <script> tags to every page and include the referenced file in the appropriate place? We could also have a -include-style=myStyle.css for users who wanted to override CSS.

[tombentley]

Oh, I see this is on ceylon-herd, not ceylon-compiler. So do you mean the ceylondoc served by herd?