#4015: Add a bash script to reliably import DB dumps.