RISC-V: Rename main library
Prev MR: !13284 (merged) Next MR: !13291 (merged)
What
Renames the main RISC-V package.
Why
The octez-risc-v-interpreter contains more than just the interpreter now. Hence naming it more generically makes sense.
Edited by Ole Krüger