Sphinx: set highlight=python and linenothreshold=5 globally

This reduces a lot of text.
Also, rid of the unused 'ignore-next-block' directive