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