Generate a file contain character encodings by parsing
the IANA Charset Registry, obtained from:
ftp://ftp.isi.edu/in-notes/iana/assignments/character-sets
This is a development-time tool, with special hacks to make up for
various java encoding names not in the table.