improve synapse_dumpdb.py