Steel to migrate to its own repository: FStarLang/steel

[tahina-pro]

This announcement is for anyone using the Steel separation logic library for F*.

Steel is being migrated to its own repository, https://github.com/FStarLang/steel . Thus, once the following PRs are merged:

• Remove Steel from the F* code base #2889
• Remove the Steel tests and the Steel part of krmllib karamel#347
• Separate Steel as its own repository project-everest/everest#97

Steel will no longer be part of the F* standard library.

I just produced a F* binary release, https://github.com/FStarLang/FStar/releases/tag/v2023.04.25, which is the last one with Steel still part of the F* standard library.