improve cindex-dump.py