Release 2022.09.3 of the Jasmin compiler

A new minor version of the Jasmin compiler has just been released. As described in the CHANGELOG, it features a few fixes (e.g., to the semantics of a few x86 instructions) and additions (e.g., x86 instructions for carry-less multiplications). Moreover, it provides improved compatibility with the future major release of the Jasmin compiler (e.g., shift amounts can be explicitly truncated to the word size).