Clingo

* fix comparison of theory elements (485)
* fix manifest (484)
* update cibw to also produce Python 3.12 wheels

* add AST node for comments (417)
* add function to change undo mode (409)
* add function to access priorities to API (406)
* add `Model::is_consequence` to API (423)
* add option to preserve facts (457)
* improve hash table performance (441)
* extend add_theory_atom method of backend (461)
(breaks backward compatibility of the API)
* add contribution guidelines (465)
* fix `add_theory_atom_with_guard` in Python API
* fix AST bugs (403)
* fix parsing of hexadecimal numbers (421)
* fix assignment aggregates (436)
* fix build scripts for Python 3.12 (452)
* fix overflows in IESolver (462)
* make sure `clingo_control_ground` is re-entrant (418)
* update clasp and dependencies

* fix AST comparison (394)
* fix handling of n-ary comparisons in AST (396)

* fix symbolic atom iterator (389)
* build wheels using cibuildwheel (391, 392)
(this adds additional architectures)

* add support for parsing files in ASPIF format (387)
(breaks C API)
* add theory related functions to backend (381)
* add support for comparisons with more than one relation (368)
* extend safety by computing intervals from comparisons (375)
* add and ground base part by default in Python API (378)
* remove experimental CSP extensions (367)
* require at least MSVC 15.0 to build on Windows
* large code refactoring (376)
* replace internal hash set implementation by external one (386)
* update to clasp version 3.3.9

* fix `parse_files` in C++ API
* fix adding clauses during enumeration (359)
* fix incremental projection with backend (362)
* update to clasp version 3.3.8