updated tools/reveal.js