Restored minified version of reveal.js for higher pull merge compatibility.