Migrate prism.js to pygments