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.
Is there a reason you choose to keep `extra_files` as a separate parameter passed to `jail_code`, rather than append the `extra_files` to `files`?