mbox-to-html script with stable identifiers

Here's an attempt.  Let me know what you think.  I had thought to
maybe just write a script to generate Mediawiki output and then post
it on the wiki where anyone could edit it.  But that's not going to
work if you're going to continue adding to this, or at least not
without more thought about how to manage the update stream.

...Robert