Switch to pygments highlighter

Nicer highlighting and better offline doc viewing experience