How to install libjs-sphinxdoc on Debian 9 (Stretch)