How to install why3 on Debian Unstable (Sid)