Added automatic unzipping on file upload. browser/listing.js: Added a checkbox to the upload panel for unzipping. Fileservice: If this box is checked, and a zip file is found (ending in ".zip"; there is a comment here to change that to looking at the file's magic number), it will attempt to unzip it into the current directory. zip.py: Added unzip method. Also changed "make_zip" to not take a req argument (not needed). download: Do not pass req to zip.make_zip.