Fixing tracing mechanism

L3 now generates the string to be printed, run.sml simply print logs
entries directly. This will make it simpler to log event from CHERI
specific code, without adding more stubs in sml.