Add an option to Kani to verify a custom version of the standard library.

Create an unstable sub-command that users can invoke to verify a local version of the standard library.

Something like:
```
kani verify-std <path-std>
```