refactor: Improve cargo prove build reproducibility

[huitseeker]

• Added a '-Ztrim-paths' argument to the 'cargo_args' vector.
• Added a provisional solution to enable 'trim-paths', linking the associated Rust issue for context.

Fixes argumentcomputer/zk-light-clients#40

Before:

huitseeker@binky➜examples/lcs/program(remap-paths✗)» strings elf/riscv32im-succinc
t-zkvm-elf|grep io
deserialization failed
a formatting trait implementation returned an error
vec is too large) when slicing `assertion `left range end index PermissionDenied right` failed: AddrNotAvailable0123456789abcdef`
/Users/huitseeker/tmp/sphinx/zkvm/precompiles/src/io.rs
/Users/huitseeker/tmp/sphinx/zkvm/entrypoint/src/syscalls/io.rs
assertion failed: SYSTEM_START >= heap_pos/Users/huitseeker/tmp/sphinx/zkvm/entryp
oint/src/syscalls/memory.rs

After:

huitseeker@binky➜examples/lcs/program(remap-paths✗)» strings elf/riscv32im-succinct-zkvm-elf|grep io
deserialization failed
a formatting trait implementation returned an error
vec is too large) when slicing `assertion `left range end index PermissionDenied right` failed: AddrNotAvailable0123456789abcdef`
sphinx-precompiles-1.0.0/src/io.rs
sphinx-zkvm-1.0.0/src/syscalls/io.rs
assertion failed: SYSTEM_START >= heap_possphinx-zkvm-1.0.0/src/syscalls/memory.rs

QoL: this should reduce our own diff count through path normalization.

[wwared]

Thank you!