Renderer plugins

Renderer plugins define what should be done at the end of the compilation: display something in the standard output, build an HTML page, etc. Some plugins are shipped with Évariste, but you can also write your own.