Come instalare agda-bin su Debian Unstable (Sid)