added TACLe version of mrtc benchmarks

Retrieved 2014/04/13:
https://wcc-web.informatik.uni-ulm.de/TACLeBench/TACLeBench.tar.gz
merged and fixed TACLe mrtc programs

Result printing (#ifdef) return value checks, etc. Use original version of
compress for now.
added PC markers for flow facts