Syntax highlighting in annotations

Adds two internal variables `highlighter` and `highlighAuto`.
Configure marked `highlight` option to use a callback delegating to highlight.js.