platin: finish documentation of pml schema
platin: add script to generate documented classes reflecting PML structure (for documentation with RDoc)
platin: add stack-cache-fill attribute to PML schema
platin: allow experimental tools to safe additional report keys
platin: allow to specify additional AIS file, rename AIS feature value-ranges => mem-addresses
platin: bug fix related to symbolic expressions
platin: add PML section for describing the configuration of the execution platform