Come desinstalare coq-highschoolgeometry su Debian 9 (Stretch)