updated 'pygments' to 'highlighter'

Deprecation: The 'pygments' configuration option has been renamed to 'highlighter'