Add timeout to solver interface

[lsrcz]

This pull request adds timeout to the solver interface via the solver configurations.

[codecov]

Codecov Report

Base: 32.60% // Head: 32.59% // Decreases project coverage by -0.01% ⚠️

Coverage data is based on head (79c57f4) compared to base (b8d6079).
Patch coverage: 36.08% of modified lines in pull request are covered.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #49      +/-   ##
==========================================
- Coverage   32.60%   32.59%   -0.01%     
==========================================
  Files          47       47              
  Lines        4423     4470      +47     
  Branches      214      218       +4     
==========================================
+ Hits         1442     1457      +15     
- Misses       2767     2795      +28     
- Partials      214      218       +4     

Impacted Files	Coverage Δ
src/Grisette/Core/Data/Class/CEGISSolver.hs	40.00% <ø> (ø)
src/Grisette/Core/Data/Class/Solver.hs	0.00% <ø> (ø)
src/Grisette/Backend/SBV/Data/SMT/Lowering.hs	37.67% <33.33%> (+0.11%)	⬆️
src/Grisette/Backend/SBV/Data/SMT/Solving.hs	42.60% <36.17%> (-3.74%)	⬇️
.../Grisette/IR/SymPrim/Data/Prim/PartialEval/Bool.hs	86.66% <0.00%> (-0.45%)	⬇️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.