And add environment variable SPHINXOPTCOLOR to disable it on Jenkins
mentioned in merge request !131 (closed)