Feature/offline highlighting #55

* add offline version of 3rd party javascript library highlight.js
* include script and styles in resource file
* link to resources in generated HTML