Fix the permissions of the archives generated by the release build

[camrein]

With the release of v3.0.0, the whole release procedure was automized. However, PowerShell's Compress-Archive command produces ZIP archives whose files do not have any permissions on Unix systems. It is necessary to change how the files are packed for the next release.

[RustanLeino]

Does this fix belong in https://github.com/dafny-lang/language-server-csharp, or is it something that should be addressed in https://github.com/dafny-lang/dafny?

[camrein]

Thanks for your double-check. It belongs to the language server and serves as a reminder that the build process needs a fix. Luckily, I tested the release of the language server on ubuntu and noticed that the decompressed files lack all the permissions (even read).