Extending HCTL syntax

[ondrej33]

In this mini-PR, we are extending the supported HCTL syntax to allow specifying hybrid operators using their names (prefixed by a backslash): \bind, \jump, \exists, \forall. You can use this syntax to write a formula like \bind {x}: AG EF {x}.

This involved mainly changes in the tokenizer (including some additional refactoring). Note that the default for writing and serializing hybrid operators is still the original short format, and this new variant is just for convenience when writing formulas. No changes in public API were made.

Furthermore, we updated dependencies to biodivine libraries. We also fixed the outdated GitHub workflow.

[codecov]

Codecov Report

Attention: Patch coverage is 87.50000% with 2 lines in your changes missing coverage. Please review.

Project coverage is 87.55%. Comparing base (f47e8de) to head (c71446f).

Files with missing lines	Patch %	Lines
src/preprocessing/tokenizer.rs	87.50%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master      #19      +/-   ##
==========================================
+ Coverage   87.32%   87.55%   +0.23%     
==========================================
  Files          26       26              
  Lines         907      908       +1     
==========================================
+ Hits          792      795       +3     
+ Misses        115      113       -2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.