platin: trace analysis: add check whether trace included program exit
platin: simplify flowfacts for aiT for each source seperately (so we can still distinguish trace facts and llvm facts)
Merge branch 'master' of https://github.com/t-crest/patmos-llvm