Improvements to Markdown processing.

- Finer Mathjax configuration
- escaping of common LaTeX commands
- upgrade to Highlight.js 8.0.
Update README to reflect new version.