Fix download files in IE, which didn't recognize the filename which was wrongly set.
Firefox and Safari had their own workarounds for such sitations, and it worked well there.
Closes #6798.
Authored by: cboos 2008-04-30
Parent: [r6934]
Child: [r6936]
