add dump_db.txt: how to dump the database