added .dump_terms command to shell