platin: user interface improvements, detect positive-flow tautologies, exclude flow-facts from aiT export that reference edges or empty blocks
platin: support gzipped trace files
platin: fix handling of empty basic blocks in trace, improve debugging output
Merge branch 'master' of https://github.com/t-crest/patmos-llvm