Testing o1js in Proof systems ci

The proof-systems developers want more advanced notice of changes breaking o1js, so I'm adding a check to their ci which runs our ci with their commit of proof systems.

https://github.com/o1-labs/o1js/pull/2188
https://github.com/o1-labs/proof-systems/pull/3194