Switch back to git submodule-based reveal.js 2.3.0.

highlight.js is already part of reveal.js; no need to include that separately. Simply updated all CSS/JS references in index.html, and we're good to go :)
Fix all code examples: fix whitespace, fix HTML encoding, shorten to fit.