command-line tool to download the raw wikitext source of the named wikipedia article(s)