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