Drop duplicate dependency on Pygments
    
    Hadn’t noticed that Pygments is actually in install_requires in setup.py;
    therefore reading requirements.txt and adding a manual weak install-time
    dependency are both unnecessary.