Upgrade pygments 

As promised now that we got a new pygments we can remove that hack put in to get python 3 compatibility