reveal.js: use up-to-date `highlight.js`; restrict langs to ocaml, bash
reveal.js: prefer solarized_dark theme for highlighting