How to install why3-doc-pdf on Debian Unstable (Sid)