Integrate Stwo prover into Scarb

[maciektr]

Problem

Repo: https://github.com/starkware-libs/stwo-cairo

Proposed Solution

• use import_from_vm_output to generate CairoInput (this is starting from the 4 files, atm there is nothing that starts from a cairo pie there, you only see two files because one of them has the paths of the other two, not ideal and will probably change soon)
• call prove_cairo
• verify with verify_cairo

Notes

No response