How to install sphinx-rtd-theme-common on Debian 9 (Stretch)