support Unicode 16 via utf8proc 2.10.0

[stevengj]

Similar to #51799, support Unicode 16 by bumping utf8proc to 2.10.0 (thanks to JuliaStrings/utf8proc#277 by @eschnett).

This allows us to use 7 exciting new emoji characters as identifiers, including "face with bags under eyes"

"\U1fae9" (but still no superscript "q").

Closes #56035.

[inkydragon]

LGTM.
Close #56035

[eschnett]

Before closing #56035, should some of the tables in stdlib/REPL be updated? There are emoji and latex tables there.

[inkydragon]

should some of the tables in stdlib/REPL be updated?

Yes.

julia/stdlib/REPL/src/emoji_symbols.jl

Lines 24 to 31 in 8e9c59f

	# We combine multiple versions as the data changes, and not only by growing.
	result = mapfoldr(emoji_data, merge, [
	# Newer versions must be added to the bottom list as we want the newer versions to
	# overwrite the old with names that changed but still keep old ones that were removed
	"https://raw.githubusercontent.com/iamcal/emoji-data/0f0cf4ea8845eb52d26df2a48c3c31c3b8cad14e/emoji_pretty.json",
	"https://raw.githubusercontent.com/iamcal/emoji-data/e512953312c012f6bd00e3f2ef6bf152ca3710f8/emoji_pretty.json",
	"https://raw.githubusercontent.com/iamcal/emoji-data/a8174c74675355c8c6a9564516b2e961fe7257ef/emoji_pretty.json",
	];

But upstream still use Unicode 15.
So maybe

• add a TODO and wait for feat: update to Unicode 16.0 iamcal/emoji-data#252 to be merged
• Or use other data source, like https://github.com/muan/unicode-emoji-json

[stevengj]

I don't think the tables in stdlib/REPL should block this PR. Those tables are for tab completion, which is optional — most Unicode characters do not have tab completions.

Just because we process/parse new Unicode emoji doesn't mean we have to have tab completions for them — those can wait.

(And updating Unicode versions is about a lot more than allowing new emoji in identifiers! I mostly advertised the 7 new emoji as a joke.)

[inkydragon]

Let's merge this and update the tables for REPL in a later pr