community/chez-scheme: upgrade to 10.1.0
https://cisco.github.io/ChezScheme/release_notes/v10.1.0/release_notes.html
As usual, includes a re-bootstrap of idris2 to account for chez-scheme ABI changes.
https://cisco.github.io/ChezScheme/release_notes/v10.1.0/release_notes.html
As usual, includes a re-bootstrap of idris2 to account for chez-scheme ABI changes.