#347 Add dark theme support for/to SeText-based text editors

Closes #347

See merge request !367

Merge branch '398-various-checks-for-cif-checker-crash-for-violations-in-the-root-of-the-specification-2' into 'develop'

#398 Various CIF check violation reporting improvements

Closes #398

See merge request !368

- Related enum class names are now also singular.

- Shortened class name a little bit.
- JavaDoc improvements to clarify the functionality.

- No need to put spaces before/after each literal message.
- Handles optional message parts automagically as well.

- Allow reporting violations on both 'Specification' and 'null'.
- Allow reporting on non-named object.
- Introduced message trees to build up more complex messages.
- Improved JavaDoc with violation reporting instructions.
- Added CifTextUtils.getTypeDescriptionForNamedObject.

#391 Updated release notes for v0.7-M1.

See merge request !365

Merge branch '405-cif-event-based-language-equivalence-check-generates-incorrect-counterexamples' into 'develop'

#297 #405 CIF event-based language equivalence check generates incorrect counterexamples

Closes #297 and #405

See merge request !362