Change all the file operation in proof system to io Read/Write

[eigmax]

All the functions involved are:

• zkvm_evm_prove_only
• circom_compile
• setup
• exec
• stark_prove
• join_zkin

[eigmax]

circom_compile is built on circom, and circom uses std::fs in parser_user::parse_project.