doc: remove deprecated option

> Deprecation: The 'pygments' configuration option has been renamed to
> 'highlighter'. Please update your config file accordingly.  The
> allowed values are 'rouge', 'pygments' or null.

'pygments' is the default. So we can remove it.