Fixes #2. Switch from highlight.js to pygments