File download: redirect to URL containing filename.

This allows us to easily track downloads in statistics tools.

This implements download redirection as discussed in #13.
Fixes #13 

@buchi please take a look