updated pygments to 1.6