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.
This check is not warning-worthy, it's just to determine whether the file name should be added to the list to copy.