Add highlight.js as a submodule (7.3, 0c7a69c)
Make use of highlight.js
v1.1: highlight.js enabled!