add dump_gdbindexes.py