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