(though poorly.) Both required processing in the jni that isn't
possible (e.g. because no libiconv included) so I created callbacks
into java from the dict building code. Add ability to download dicts,
to select them, to add and remove players and make them robots or
human. Robot-vs-robot game doesn't work well (robots trade a lot and
server_do seems not to be getting called enough) but will soon.
Coalesce penMove events. Implement game list menuitems like delete,
copy, etc.
