idris2: add runtime dependency on coreutils
idris2: add runtime dependency on coreutils

The `idris2` that is generated is essentially a very tiny script
that uses `realpath` at startup to figure out what `LD_LIBRARY_PATH`
to set before running the executable that chez produced.

So we need `coreutils` for the build but also to actually run the
executable.

I experienced this recently while setting up a macOS CI and I have
just noticed that it had been reported to us previously:
https://github.com/idris-lang/Idris2/issues/874

Closes #71562.

Signed-off-by: FX Coudert <c329953660db96eae534be5bbf1a735c2baf69b5@gmail.com>
Signed-off-by: BrewTestBot <8a898ee6867e4f2028e63d2a6319b2224641c06c@users.noreply.github.com>

adam-moss/homebrew-core,makigumo/homebrew-core,sjackman/homebrew-core,spaam/homebrew-core,Linuxbrew/homebrew-core,uyjulian/homebrew-core,lemzwerg/homebrew-core,nandub/homebrew-core,Homebrew/homebrew-core,Linuxbrew/homebrew-core,nbari/homebrew-core,mbcoguno/homebrew-core,JCount/homebrew-core,nbari/homebrew-core,cblecker/homebrew-core,Moisan/homebrew-core,Moisan/homebrew-core,uyjulian/homebrew-core,chrisfinazzo/homebrew-core,stgraber/homebrew-core,zyedidia/homebrew-core,spaam/homebrew-core,makigumo/homebrew-core,filcab/homebrew-core,mfikes/homebrew-core,mbcoguno/homebrew-core,mfikes/homebrew-core,chrisfinazzo/homebrew-core,mbcoguno/homebrew-core,adam-moss/homebrew-core,stgraber/homebrew-core,nandub/homebrew-core,sjackman/homebrew-core,cblecker/homebrew-core,filcab/homebrew-core,lemzwerg/homebrew-core,Homebrew/homebrew-core,JCount/homebrew-core,zyedidia/homebrew-core