Release 1.3.5

This release includes the latest additions to VDMJ including a fully fledged plugin architecture, a real time logger view among others:

• Added VDM to (Plant) UML translation feature
• Added VDMJ 1.5.0 features (Analysis plugins,...)