A few scripts to extract tables or databases from mysqldump files