Release 2023.06.4 of the Jasmin compiler

A new version of the Jasmin compiler has just been released.

It has better compatibility with recent versions of GNU binutils.

It brings support for a few x86 instructions from the VAES and BMI2 extensions.

The command line interface to the constant-time checker has been renamed to jasmin-ct. The pretty-printer of Jasmin programs has been renamed to jasmin2tex.

Relevant details can be found through the CHANGELOG.