Add TargetManager and rework TargetedSearcher and GuidedSearcher

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #101 (0740dfa) into main (e9dc5f3) will increase coverage by 0.28%.
The diff coverage is 84.82%.

❗ Current head 0740dfa differs from pull request most recent head 70dc656. Consider uploading reports for the commit 70dc656 to get more accurate results

@@            Coverage Diff             @@
##             main     #101      +/-   ##
==========================================
+ Coverage   65.12%   65.41%   +0.28%     
==========================================
  Files         209      209              
  Lines       28462    28590     +128     
  Branches     6335     6362      +27     
==========================================
+ Hits        18537    18701     +164     
+ Misses       7425     7406      -19     
+ Partials     2500     2483      -17     

Files Changed	Coverage Δ
include/klee/Core/Interpreter.h	100.00% <ø> (ø)
include/klee/Expr/Expr.h	83.53% <ø> (ø)
include/klee/Module/KModule.h	76.92% <ø> (ø)
include/klee/Module/SarifReport.h	88.23% <ø> (ø)
lib/Module/SarifReport.cpp	51.38% <50.00%> (ø)
lib/Solver/ConstructSolverChain.cpp	92.10% <50.00%> (-0.21%)	⬇️
lib/Module/Target.cpp	52.68% <57.14%> (-15.17%)	⬇️
lib/Module/TargetHash.cpp	77.77% <60.00%> (+1.30%)	⬆️
lib/Module/TargetForest.cpp	73.16% <70.00%> (+6.04%)	⬆️
lib/Module/KModule.cpp	81.53% <75.00%> (-0.19%)	⬇️
... and 27 more

... and 3 files with indirect coverage changes