RVFI - debug help
Created by: YoannPruvost
This PR contains only quality of life improvements. It adds:
- instruction mnemonic to the trace structure used for rvfi monitoring
- missing decoding to the tracer pkg to help mnemonic printing and coverage collection