experiments: ait_report_prefix option
Merge branch 'master' of https://github.com/t-crest/patmos-misc
experiments: collect errors during parallel benchmark evaluation, add option keep_trace_files
experiments: refactor benchmark selection, support for PapaBench
Merge branch 'master' of https://github.com/t-crest/patmos-misc