How to install coq-doc-pdf on Debian Unstable (Sid)