Add more stdlib libs and spec

case_studies/tests/src/vec_client.rs

 #![rr::include("vec")]
+#![rr::include("alloc")]
+#![rr::include("option")]
+
+
 use std::vec::Vec;
 
+#[rr::skip]
 #[rr::returns("()")]
 fn init_vec() {
     let mut v: Vec<i32> = Vec::new();