(options.py, v.12) added a transliteration in header. To prevent problems with the headers read in informations.textdbdict, the artinames in the headers of such a file are now preceded by the NOTALEXICAL_ARTINAME symbol