add rIC3

[anuejn]

As motivated in #151, it would be very cool to have rIC3 in oss-cad-suite :).
I am not affiliated with rIC3 but thought to give it a shot.

I have not contributed here before and had some questions:

• Am I supposed to also update the ci yaml files?
• Building rIC3 needs at least rust 1.85, so the docker containers would need to be updated. Should I do that in some way?
• I now pinned rIC3 to v1.3.6 as I thought that that would probably not break ci for non-building main or for it needing a newer rust version again at the cost of needing manual intervention for updates. Is this the right approach?

Thank you for making oss-cad-suite, I really like using it :)

[mmicko]

Thanks. Will need to test. Will take care of CI yml so no worries there.

[mmicko]

@anuejn Hi and sorry for late response. Have tried updating docker image with latest rust, and compilation works on linux-x64, but when building for darwin-arm64, it fails on few places, namely compiling ssl native library and cadical as well. With SSL managed to make some progress but seems it expect newer openssl that we do not have libraries already, so would need to redo complete image to support this.