A quickly-hacked-together Python script to turn mysqldump files to CSV files. Optimized for Wikipedia database dumps.