How to install coq on Debian Unstable (Sid)