Add RAPx tool description and CI workflow#491

DiuDiu777 wants to merge 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

Artisan-Lab:rapx-verify-stdArtisan-Lab/rapx-verify-rust-std:rapx-verify-stdCopy head branch name to clipboard