update version and reinstate pygments
reimplement pygments instead of highlight.js