Support private inputs in the RISC0 backend

[lukaszcz]

Currently, when compiling to RISC0 through Rust, the main function cannot have a function type: no inputs are supported. We need to figure out how private inputs are handled by the RISC0 toolchain, and how to add support for them at the Juvix level.