agda: fix dependency on more recent 'binary'
idris: fix dependency on older 'parsers'
agda-stdlib: no need to jailbreak anymore