Support trace.bin and memory.bin generated from cairo0-run for proving

[feltroidprime]

Hello

It would be very convenient for complex cairo0 programs that depend on a specific python venv and hints to add a command line to be able to prove the output of cairo-run instead of having no choice than to rely on cairo-vm

For example here https://github.com/andrewmilson/sandstorm#demo---proving-cairo-programs

Thank your for you understanding

Sincerely,