platin: minor improvements for generating PML documentation
platin: PML support for HW/timing descriptions, platin tool-config for configuring clang/pasim
Merge branch 'master' of https://github.com/t-crest/patmos-llvm
platin: platin-clang-wcet prototype, refactor install script