platin: support for flow facts from LLVMs scalar evolution
platin: extensions for integration experiments
platin: improve install script (automated installation of dependencies)
fix CommaSeparated flag for SerializeRoots option
Fixed handling of bool return types.
platin: kill spawned a3/sweet processes on exit (orphaned process issue when killing platin)
platin: improve output from gem install in install script
platin: use END keyword for exporting trip counts to aiT, start clean up of README
platin: update README
Fix scheduling of loads in delay slots of calls.
platin: remove evaluation scripts (new evaluation framework lives in patmos-misc)
platin: fix parsing of compact reference (Patch by Alexander Jordan)
pml: information on branch delay slots, hoist getAnalysis requests to reduce number of unnecessary analyses triggered by export
platin: read branch delay slots from PML file (fixes bug with nsichneu)
platin: add PML validation (using kwalify), replace merge tool by pml tool (validate, merge, statistics)
PMLExport: dump symbolic header bounds

For predictable loops, PMLExport dumps the symbolic header bounds
it can obtain from scalar evolution.
We might want a more structured/processed approach as soon as we
come up with a sensible format.
PatmosExport: formal argument - register mappings

The mappings are computed in a target specific way.
Most of the code was copied from SelectionDAGBuilder to compute
lowered argument types with the correct flags.

Currently, VarArg functions are not supported.
The proper yaml output has yet to be done.
PML/PatmosExport: proper output of arg-reg mapping
PMLExport: added stats counter for loop bounds
PatmosExport: Fix crash args are on stack

* crashed when not vararg but arguments are on stack
* printing changed to assembly reg names