A MediaWiki XML dump grepper tool