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