Don't include original file extension when creating filename for zipping up a file

[DavidKinder]

When zipping "foo.html", the zip file created is called "foo.html.zip". It would be nicer if it were "foo.zip", as that's usually what is wanted.

[erkyrath]

Done.