A parser for files in the Unicode database