make docs/source/conf.py compatible with python 3.