Black-sat

This release brings many API improvements, especially on the side of LTL modulo theories,
and experimental Python bindings.

Bugfix release:
- Fix a compilation issue with fmt 9.x (mostly affecting Homebrew users)
- Fix a bug in the `--remove-past` option when used with finite-traces semantics

Packaging fix release.

This is a massive release with tons of changes:
- Huge refactoring of the formula handling APIs for better extensibility
and higher maintainability, with lots of new features implemented and
coming
- Documentation infrastructure with complete tool documentation on
https://www.black-sat.org
- Fix to a regression that caused a crash on deeply nested formulas

Maintenance release with packaging fixes on macOS and Linux

Bugfix release, to fix a crash occurring during syntax checking of formulas with many top-level conjunctions