Temporary fix for #35 (and #36)

Rather than bundling the bitstreams as a single zip archive (which
requires a bunch of active memory), Web.export.py now just generates
links to each bitstream. So that the bitstreams have manageable
filenames, Web.file.py now accepts an optional parameter /<filename>,
which is passed to GAE blobstore's get_blob().