bump to v4.22.0

Stream: Polynomial Freiman-Ruzsa conjecture

[Moritz Firsching]

Just to avoid duplicate efforts: Here's the bump to v4.22.0:
https://github.com/teorth/pfr/pull/256
Now everything builds, @Yaël Dillies is working on fixing warnings and the new simp hints.