A short command line python utility I wrote to extract large mysql dumps, potentially with multiple databases, into smaller pieces.