reveal.js integration

[VladimirAlexiev]

reveal.js is one of the best HTML-based presentation tools.

It has anchors for jumping to each slide, eg http://vladimiralexiev.github.io/pres/20140912-NKOS-compositionality/index.html#/sec-2. The presentation has a 2D structure (press "O" to see an overview in 2D), so the anchors are not simple sequential numbers. But I think can be discovered easily by examining the DOM.