Tracer broken for fp16 and fp16_alt instructions + ZFINX hardcoded to 0

[Dequino]

The current tracer of the cv32e40p doesn't handle printing of the fp16 and fp16_alt instructions (i.e. fadd.h, fadd.ah, all the f instructions with .h and .ah).

We tried to write them following the example of https://github.com/pulp-platform/flex-v/tree/da580127cf5692744c3aa35301c22644350eb654, but we could only write the correct content of rs1 and rs2, not for the destination register.

Also on the magia_tile_pkg the parameter bit ZFINX of the FPU, necessary for using the integer register instead of the floating point register (which are not defined in the architecture), is hardcoded to 0. This breaks the runtime execution when reaching any floating point instruction.