doc: fix deprecated intersphinx_mapping format
Since Sphinx 8.0 the docs cannot be build as the old
intersphinx_mapping
format is still used which is deprecated since
Sphinx 0.5.
Alternatively this whole configuration option can be removed as it is an example.