fixed #203: Download button now downloads

It took me a while to track the file downloading code: it's in bibdocfile_webinterface.py, class WebInterfaceFilesPages (it uses the legacy routing mechanism). The exact function that does the file streaming is at line 223 (return docfile.stream). From that file we can see that just adding the right parameter to the URL we get forced file downloads (download=1).