Importable zip files

extra_files can now include a zip file that can be also indicated in
python_path, and it will be importable by the executed code.
Should this generate a warning?   This could happen if `python_path` contained a directory with the same name as a file in `extra_files`, right?  Why is `extra_files` given precedence over `python_path`?