Add "publish" dupdb-admin command which exports the duplicate database into a set of text files suitable for WWW publishing. Implement crashdb.py known() method to check this format, if the crash database is initialized with a "dupdb_url" option pointing to the exported database.