wiki-export-split: fix title filter
wiki-export-split: optional dedicated sha1sum file