Improved Sphinx documentation's conf.py so that it is easier to compile the docs using the default theme.