python-Pygments: build python3 module too