update of reveal.js