index on master: 2aa293c Merge remote-tracking branch 'origin/fix-test-problems'
WIP on master: 2aa293c Merge remote-tracking branch 'origin/fix-test-problems'
Add experimental PNML compiler.