Update pygments monkeypatch for compatibility with Pygments 2.0

Closes gh-6877

I spent a while looking for a better way to achive this, to get rid of the monkeypatch, but none occurred to me, so I went with Carlos' suggestion of just updating it.