fix(jolt): Rename jolt-zkvm target

This target is linked with rustup to the equivalent unknown-none target,
meaning they're the same

Author: Syndamia

packages/jolt/default.nix

@@ -47,6 +47,7 @@ in
       postPatch = ''
         sed -i 's|package =.*git = "https://github.com/a16z/jolt"|path = "'$out'"|' src/main.rs
         sed -i '44,46d' jolt-core/src/host/toolchain.rs
+        sed -i 's/riscv32im-jolt-zkvm-elf/riscv32im-unknown-none-elf/' jolt-core/src/host/mod.rs
       '';
 
       doCheck = false;