How to remove python-gnatpython-doc from Debian 9 (Stretch)