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.