Change conf.py to use RTD theme if available