added utf8proc to deps for #5434
normalize all flisp symbols to NFC (fix #5434)
Merge pull request #5462 from stevengj/utf8proc

Normalize all unicode identifiers to NFC