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