Provide runtime Set and Map implementations

[yannbolliger]

Currently, all operations on stainless::{Set, Map} are unimplemented!() such that code/or runtime checks/asserts using them cannot be run.

Change this to have some runnable underlying implementations.

Maybe backed by this: https://docs.rs/im/15.0.0/im/