Update highlighter configuration

The option 'pygments' is deprecated.
doc: update Groonga documents to 4.0.8