RISC-V tiny trace

Traces a tiny educational subset of RISC-V instructions.