added MC-benchmarks for rust-embedded

benchmarks/model_checking/Rust_embedded/CAN_BUS_tlc.rs

...checking/Rust_embedded/Cruise_finite1_deterministic_MC.rs

benchmarks/model_checking/Rust_embedded/LandingGear_R6.rs

benchmarks/model_checking/Rust_embedded/Lift_MC_Large.rs

benchmarks/model_checking/Rust_embedded/Makefile

...marks/model_checking/Rust_embedded/Train1_Lukas_POR_v3.rs

.../Rust_embedded/Train_1_beebook_deterministic_MC_POR_v2.rs

benchmarks/model_checking/Rust_embedded/nota_v2.rs