Use unicode.encode('ascii', 'replace') to "handle" non-ascii characters

Fix #872.

We use `ascii, replace` rather than, say, `utf-8`, because it looks like Mailman might not reliably accept utf-8, and it's not a big deal if we lose some characters in names anyway.