WIP: Add converter from PRISM models to our syntax

Merged Thorsten Wißmann requested to merge wip/prism-converter into master

Merge request reports