Doc: Add remark about how to handle OSI tracefiles

[jdsika]

That was part of #39 but is blocked by #55

[ClemensLinnhoff]

Check if there is a link to the trace file section in OSI doc about trace files.