reveal.js: use up-to-date `highlight.js`; restrict langs to ocaml, bash
reveal.js: prefer solarized_dark theme for highlighting
highlight.js: add up-to-date version (8.2)
Merge branch 'master' of git://github.com/mor1/mirage-decks