How to install why3-coq on Debian 9 (Stretch)