Adding dump-signs.py (converts thesaurus file to xapian-ready format)