Add mirsa predicates for RPL patterns

[990466307]

在 RPL 的谓词系统中接入 mirsa 的分析结果：
rpl_constraints/Cargo.toml 增加 mirsa_core 和 mirsa_domains 的依赖，依赖代码 在 third_party/mirsa。
predicates/mod.rs 新增 LocationLocal、LocationLocalConst、LocationLocalLocal 三类谓词签名，注册 is_null_mirsa、eq_const、lt_const、gt_const、index_in_bounds
新增 null_analysis.rs 和 internval_analysis.rs 文件，查询指定 location 前的状态，返回 bool 给 RPL 谓词系统
locals.rs 的 BodyInfoCache<'tcx>，缓存每个函数体的 null_mirsa 和 internval_mirsa 结果
把 transmuting-null、transmute-null-to-fn pattern 从 is_null 改为 is_null_mirsa('cast, $null)，并删掉其中专门处理中间 cast 的冗余 pattern
新增 bytes-count-to-len、duration-subsec、string-from-utf8-as-bytes 三个 pattern和相关测试

[990466307]

Superseded by #122, which rebases the MIRSA predicate work onto the current master and includes the Clippy patterns together with the new safety-requirement modeling.