How to install why3-coq on Debian Unstable (Sid)