A shell script to extract one or more database from a dump file