finish src/dump-wikipedia.py