chore: update tree_sitter#23

Decodetalkers wants to merge 1 commit intotree-sitter:mastertree-sitter/tree-sitter-agda:masterfrom

Decodetalkers:usenewtreesitterDecodetalkers/tree-sitter-agda:usenewtreesitterCopy head branch name to clipboard