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.
Yes, I haven't mentioned what happens if files and extra_files collide.  I can mention that it's undefined what happens if the same name appears in both (so don't do it).