syntax highlighting

fixed-- uses up-to-date `highlight.js` (8.2), and now prefer the solarized_dark colour scheme (but all schemes included).

`highlight.js` pack generated from the website, supporting limited number of languages (OCaml, Makefile, Bash and a few others) so auto-detect now generally seems to get it right.