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.
Also, the contents in `extra_files` overrides any same-named content in `files`, correct?