Use Renode for simulating the examples

[Ivan-Velickovic]

Renode is a new full system simulator that supports all the architectures we would need for the VMM. However at the time of writing it doesn't yet support RISC-V H-extension (although I believe it's planned). Unfortunately I can't get AArch64 simulation to work reliably yet either, see https://github.com/Ivan-Velickovic/sel4_renode#qemu-arm-virt.

However! Once Renode is in a usable state (or when if I find out I'm using Renode wrong), then we need to do the following:

• Add Renode scripts to this repository or to the Microkit SDK itself perhaps
• Add Renode commands to the example Makefiles, Zig build scripts etc
• Add Renode testing to the CI
• Document how to take advantage of Renode's functionality (e.g making your own platform descriptions, debugging etc)