Add autoharness to run-kani script and use in CI#334

tautschnig merged 30 commits into

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

tautschnig:autoharness-supporttautschnig/verify-rust-std:autoharness-supportCopy head branch name to clipboard