gg_scraper. Download a Google Group to MBOX. Forked to try to fix stuff. See https://github.com/clehner/ggscrape for my take on this idea