Allow syntax highlighting in annotations

Configure marked to use highlight.js to highlight code blocks inside
annotations.
Also allow to use file extension instead of language name in fenced code
blocks.