Cadical logging

[Dekker1]

• Fix files included with the solver crates
• Add pindakaas-cadical tracing feature

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 72.64%. Comparing base (1eb7daa) to head (34180ef).
Report is 2 commits behind head on develop.

Additional details and impacted files

@@           Coverage Diff            @@
##           develop      #89   +/-   ##
========================================
  Coverage    72.64%   72.64%           
========================================
  Files           19       19           
  Lines         7319     7319           
  Branches      7319     7319           
========================================
  Hits          5317     5317           
  Misses        1875     1875           
  Partials       127      127           

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

🚀 New features to boost your workflow:

• ❄ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.