Improve JSDoc output.

* Switch from the obsolete SyntaxHighlighter to Prism, to allow inline syntax highlighting
* Use syntax-highlighting for default values
* Fix generated HTML for `@deprecated`.
* Fix incorrect HTML escaping in code examples.