How to remove swi-prolog-doc from Debian 9 (Stretch)