make highlight.js behave

- update highlight.js to include highlighting for AsciiDoc & other languages
- only allow highlight.js to highlight blocks with a language it knows
- switch to default highlighting theme, which has more coverage of languages
- add build script for highlight.min.js