Replace Gzip with PGzip

[MaxJa4]

Closes #265

Replaces compress/gzip with github.com/klauspost/pgzip (drop-in replacement, compatible) to significantly increase compression (archiving) performance (1.5-8+ times depending on setting GZIP_PARALLELISM).
Default is 1 to not use up all available compute capacity on production servers during the archiving process.

---

@m90: Also added the --timeout 3 for docker compose down commands in the test suite.

[MaxJa4]

New test fails with /bin/sh: /code/test/pgzip/run.sh: Permission denied right at the beginning, without even executing the test. It works locally. Do you know what is happening here @m90?

[m90]

Sorry for not mentioning this before, the run.sh file needs to be executable, i.e. you need to chmod +x run.sh still.

[MaxJa4]

the run.sh file needs to be executable

It was executable by default locally, but I had to run git add --chmod=+x run.sh to make git aware of that. Additionally GitHub Desktop sees a change after that, but when committing it says "error: no changes". Doing everything with command line and VS Code worked though.

[m90]

but I had to run git add --chmod=+x run.sh to make git aware of that

Strange, usually git should pick this up all by itself. Could it be that you set core.filemode to false somehow?

Anyways, good to see it's running as expected now.

[MaxJa4]

I renamed WholeNumber again as its logically false. The name suggests that any whole number (including negative ones) are allowed - which is not the case. Since its exactly like NaturalNumber but with a zero, I just named it NaturalNumber0 now to align it a little with the mathematical convention. I also added a doc string for both types to avoid confusion.

[m90]

Hmm, I got all my knowledge from Wikipedia which says whole numbers are natural numbers + 0. Then again, it's probably disputed and not really well defined.

[MaxJa4]

Could it be that you set core.filemode to false somehow?

Not that I know of. I just changed to true, but now GIT says I have changes in all .sh files... so it definitely picked something up and was turned off before.

which says whole numbers are natural numbers + 0

Seems like I found exactly the opposite side of that discussion haha. Well, I don't have a real preference here, now that the doc string is there to explain it.

[m90]

🚄