platin: Port the IPET tool from OTAP
platin: add option to export the final bitcode
platin: add SWEET analysis support to benchmark driver
platin: IPET improvments, improved option handling
platin: Start implementation of relation-graph analysis
RENAME: psk->platin (cf. SEUS 2013 paper)
platin: relation graph analysis
platin: improved IPET calculation, implementation of flow-fact transformation via FM-elimination
platin: improve construction of CFRG
platin: update benchmark drivers
pmlexport: fixup basic block mapping in BranchFolder, add status attribute (valid,corrected,incomplete) to relation graph PML structure
platin: work on transform tool
platin: MAJOR refactoring, first version of working flow-fact transformator
platin: Trace Evaluation (incl. aiT and relation-graph roundtrips) of MRTC benchmarks finished
platin: Simplified evaluation (eval-run), works out-of-the-repo
platin: better handling of functions never called in trace