Add pygments

This release replaces the dynamic highlighter.js by the static syntax highlighter pygments. Static in this context means that syntax highlight is performed in Python rather than in Javascript. This solves issue #20 regarding the incorrect highlight of statically rendered slideshows, since highlight.js could not be embedded and made to work with reveal-js.