use https urls for reveal.js to fix up gh-pages