Add pygments, required by docker