Specify trace filename for codecoverage

[ThomasPohl]

There needs to be a possibility not only to configure the directory of the trace files but also the filename.

Add a configuration parameter specifying a regular expression to match the filename.