Implement MediaWiki cli-script to export redirects from a wiki