Using pygments to highlight JSON