Redirect all requests to /files/foo to /foo

[hnarayanan]

This is because there appear to be web spiders(?) and old versions of the site out there(?) that are referring to these obsolete URLs. Maybe they could be forwarded with a 301 redirect.