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.