python-Pygments:version bump