feat: allow passing custom binary to the wrapper

[mm-zk]

Added --input-binary option, that allows passing a custom binary that was used to generate the proof to the boojumos wrapper.

cargo run --release -- --input ../air_compiler/output/final_program_proof.json --input-binary ../air_compiler/examples/hashed_fibonacci/app.bin  --output-dir /tmp/