Add reveal.js. Minor presentation changes.