log src/utf8.sml

age author description
2011-11-05 Adam Chlipala Support the full set of XHTML character entities