How to install coq on Debian 9 (Stretch)