Don't wait for editor to close by default
Add an option to get the filename of a dumpfile