Jasmin 2022.09.0

This is the third stable release of Jasmin. It contains the following major improvements:

• a new instruction #randombytes to fill an array with “random” data;
• access to mmx registers;
• support for Windows calling convention, in addition to Linux, with -call-conv {windows|linux};
• else if blocks for readability;
• strict preservation of source-level intrinsics;
• an option to extract all the functions of a file to EasyCrypt;
• many fixes to the extraction to EasyCrypt.

It also brings in other new features, as well as new contributors, many fixes, and various improvements.

More details can be found in the CHANGELOG.