Support for Universal Character Names, `char16_t`, and `char32_t` (part of C99/C11)#80

michael-schwarz merged 5 commits intodevelopgoblint/cil:developfrom

universal-character-namesgoblint/cil:universal-character-namesCopy head branch name to clipboard