How to install prover9 on Debian Unstable (Sid)