`copy_file' renamed to `import_file' in front end and engine.
-i, --import added.