Include internal messages in traces

[sefau]

When activated, the trace generated by Trampoline currently tracks state change of tasks, of their event vectors, and of resources so it is possible to follow the control flow. But there is no information produced to follow the data flow, at least when it uses internal communication services SendMessage and ReceiveMessage. The trace should be extended to also allow tracking the data flow.