use pygments for code highlighting