Upgrade to latest pygments version (1.7)