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