Make a release

[jnarboux]

It would be nice to make a release, so that when using Lean Verbose for teaching we can rely on a stable version and won't not risk an involuntary update. If course, we could use a fixed commit, but a proper release would be better.

[PatrickMassot]

Yes, it would be very nice, and is definitely planned. My current use of this library in Orsay is the first real test of the Lean 4 version, and generates a lot of activity in this repository. At the end of the course I will make the first release so that other people can use this library during the next academic year.