add script to convert mailman's gzipped txt to mbox