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