Update Unicode Emoji version to 13.1
The current version of Unicode Emoji is 13.1.
This was announced here:
For more details, see also:
I do not expect any major problems with this, as there are no newly allocated codepoints, only newly recognized combinations of codepoints.