Fix deprecation of 'pygments' configuration option

replaced 'pygments: true' with 'highlighter: pygments'

Signed-off-by: Jai Govindani <govindani@gmail.com>