PMLExport: address export - find base array

* algorithm to find the base of computed array accesses
PMLExport: export value facts for addresses
PMLExport: fixed valuefact export; export to AIS
PMLExport: replaced assertion by a debug note
platin: symbolic flow facts (domain, resolving CHRs)
Merge branch 'master' of https://github.com/t-crest/patmos-llvm
Implementation of PMLImport using bitcode block labels as MBB labels
Do not export DebugInfo instructions into PML
Using dom tree to find criticalities of unmapped MBBs
Merge branch 'master' of https://github.com/t-crest/patmos-llvm
PMLImport: document header file
PMLImport: remove unused option PMLImportOrigins
PMLExport: prepend "%" to bitcode argument names
platin: sound best-effort transformation of (symbolic) loop bounds, export of constant triangle loop bounds
Detect xdot application under different names

This will find the default xdot executable in Ubuntu.
Also having llvm_find_program_alias might be useful in other places.
PMLExport: following PHI nodes for address export
Merge branch 'addrphi'
Merge branch 'master' into isarev_m23
platin: more useful error messages if LPSolve fails
platin: transformation and aiT export of symbolic loop bounds depending on function arguments