Add RAPx tool description and CI workflow#491

DiuDiu777 wants to merge 1 commit into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

safer-rust:rapx-verify-stdsafer-rust/rapx-verify-rust-std:rapx-verify-stdCopy head branch name to clipboard