python-Pygments: update to 2.0.1