doc/source/conf.py: Python 3 support

Correctly decode the process output in Python 3, so everything
works if sphinx is run using python3.