Use latest reveal.js and html5shiv