How to install coqide on Debian Unstable (Sid)