platin: update aiT integration for new release
platin: allow to specify attributes for caches
platin: clean up cache region analysis, attribute all cache cost to edges to obtain a meaningful WCET profile
platin: update flowfact transformation (MC->BC), ScopeGraph#reachable_functions, fix some namespace issues, improve pml tool, cosmetic modifications

- update flowfact transformation from MC to BC
- compute reachable functions from scope graph
- use qualified names for PML classes when accessing from Patmos module
- update pml tools (statistics, validation)
- cosmetic modifications in core lib
platin: update aiT import
platin: small improvements for flow-fact transformation