Fix curl command while installing wix tools in CI

-O uses the remote name, so the 'wix311-binaries.zip' argument wasn't
being used. We could keep -O but it's more reliable to specify our own
filename.

But this is a fix mainly to follow redirects with -L, since the failure
we were seeing is:

curl: Remote file name has no length!
curl: (23) Failed writing received data to disk/application

Which is because the first response is a redirect.

Also adds -s to hide the progress bar.

Author: Ivan Mirić

.github/workflows/all.yaml

@@ -283,7 +283,7 @@ jobs:
           args: install -y pandoc
       - name: Install wix tools
         run: |
-          curl -O wix311-binaries.zip https://github.com/wixtoolset/wix3/releases/download/wix3112rtm/wix311-binaries.zip
+          curl -Lso wix311-binaries.zip https://github.com/wixtoolset/wix3/releases/download/wix3112rtm/wix311-binaries.zip
           Expand-Archive -Path .\wix311-binaries.zip -DestinationPath .\wix311\
           echo "$pwd\wix311" | Out-File -FilePath $env:GITHUB_PATH -Append
       - name: Download binaries