Script: add --clean flag
Script: add --clean flag

This flag runs cargo clean before starting verification.
Useful in regression runs to be sure that everything is rebuilt.

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools