tell user about changes in filenames

[Toni Ruottu]

We replace some problematic characters such as slash, backslash, and an initial dot in filenames upon download, as the original filenames would cause some security problems. We should change the user interface to notify user about this. We should probably show the altered form of the filename in file listing, and add some warning about the altered filename to the user interface.