[setup] Sphinx RTD theme dependence is missing on setup.py

This will lead to a crash during the installation if the package is not available by default on the user environment.