docs: update README.md

[cedoor]

Description

Updates the list of packages and some links in the README file.

Checklist

• My code follows the style guidelines of this project
• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• My changes generate no new warnings
• I have run yarn format and yarn compile without getting any errors
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes

[cedoor]

@sripwoud should we publish the smt crate?

[sripwoud]

@sripwoud should we publish the smt crate?

The ci published the crate it already

It is the github release that fails

I tried to debug it yesterday. Then I found out it was an upstream issue with the release-plz github action (fixed 7hrs ago)
Should be fixed once we use the next version

[sripwoud]

ACK