Issue #53: Add a script to dump the database.