Add instructions for local Rocq testing

[dimecon]

No description provided.

[dc-mak]

I mean if it works it works but why not just point/link to the CI script?

[dc-mak]

Also using opam mean that local uncommitted changes are not picked up, which may not be what the user wants when trying to run locally?

[dimecon]

I mean if it works it works but why not just point/link to the CI script?

Maybe that would better, but at least this extracts the key lines from it.

[dimecon]

Also using opam mean that local uncommitted changes are not picked up, which may not be what the user wants when trying to run locally?

I'm not sure what you mean. I think this worked when I was testing changes for ghost arguments.

[dc-mak]

I'm not sure what you mean. I think this worked when I was testing changes for ghost arguments.

Opam only installs stuff which is committed, it ignores any unstaged changes. So if the user is relying on those, they'd have to temporarily commit and do opam install.