How to install gcc-python-plugin-doc on Debian 9 (Stretch)