How to install prooftree on Debian Unstable (Sid)