Actually require Pygments. Fixes #223.