This is a major release with support for PVerifier, Parametric tests,…

… and much more

Added compiler changes for PObserve release

Added compiler changes for PObserve release

Test release for GitHub Actions setup

Extended the Java code generator to support monitor deep equals

Bug fix in the lexer to catch special characters

Fixed bug in feedback strategy

Removed PJavaRuntime from the Repo

Fixed a bug in JSon trace generation

Fixed a bug in Java code-gen for PObserve