Default filename for exports

When downloading exports through the frontend they now get reasonable default filenames.