File name in zip file can contain invalid characters

[blonkm]

The file name in the zip file per user is made up of user name and assignment title. The assignment title can contain illegal characters (like e.g. ":"). Change this by filtering the name before saving the file.