How to install python-sphinxcontrib.phpdomain on Debian 9 (Stretch)