ADD: options dialog when saving files using the dump format