experiments/integration: loop to find minimal set of tracefacts needed to complete analysis
Merge branch 'master' of https://github.com/t-crest/patmos-misc