Update emoji to Unicode 13.1

Data from https://unicode.org/Public/emoji/13.1/emoji-test.txt

python3 lib/gen-emoji.py ~/Downloads/emoji-test.txt >lib/emoji.h

And then manual tweaks to add the new categories.

The new categories have not been added to the menu yet.