Changed conf.py to use RTD theme if available