Configure marked to use highlight.js for syntax highlighting in annotations.

Additionnaly allows to use file extension instead of language name in
github flavored markup fenced code blocks.