An ugly, but handy MySQL dump extractor.