rocq update for Print FullyQualified

[aa755]

rocq-prover/rocq#21443 seems very important for agentic workflows to figure out whether the agent added bogus axioms. Currently, cpp2v has many axioms so Print Assumptions always returns a long list and thus makes it hard to manually spot any new assumption.

Can we upgraded vendored/rocq to get that PR?

[aa755]

cherry picking that PR commit worked for me: SkyLabsAI/rocq#10

[rlepigre-skylabs-ai]

We were thinking of bumping to get access to some other feature that got merged, I'll see if we can schedule this soon.