How to remove coq-doc from Debian 9 (Stretch)