disable exception checkstyle
fix formatting
Merge branch 'feature/work-on-convertors' into feature/new-parser-on-kore
many small fixes --  all tests passing again
documentation
Merge branch 'feature/new-parser-on-kore'
fixes