File naming

[vkresch]

Reference to a related issue in the repository

Resolves #373

Add a description

Adding documentation for a best practice naming convention for trace files. The real implementation of the validation part can be in future performed by the OSI-Validator.

Mention a member

@jdsika review pls :) and add you custom info if needed

Check the checklist

• My code and comments follow the style guidelines and contributors guidelines of this project.
• I have performed a self-review of my own code.
• I have made corresponding changes to the documentation.
• My changes generate no new warnings.
• I have added tests that prove my fix is effective or that my feature works.
• New and existing unit tests / travis ci pass locally with my changes.

[jdsika]

LGTM