Updated user and developer manual
Added chapters on:
- Priority strategies
- Web-based GUI
- Semi-automatic cli
- Algebraic user-defined predicates
- Predicate Parser
- Richer Domain Split etc
29. April 2024: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
Added chapters on: