PMLExport: prepend "%" to bitcode argument names
platin: sound best-effort transformation of (symbolic) loop bounds, export of constant triangle loop bounds
platin: more useful error messages if LPSolve fails
platin: transformation and aiT export of symbolic loop bounds depending on function arguments
Merge branch 'master' of https://github.com/t-crest/patmos-llvm
platin: --help=topic
platin: allow to disable AIS export selectively