How to install prover9-doc on Debian Unstable (Sid)