Manifest configurations into klee.kconfig file

[danielschemmel]

Summary:

This PR adds a klee.kconfig file to each output folder that contains a json object with information related to that run. For now, it emits the KDAlloc configuration.

Checklist:

• The PR addresses a single issue. If it can be divided into multiple independent PRs, please do so.
• The PR is divided into a logical sequence of commits OR a single commit is sufficient.
• There are no unnecessary commits (e.g. commits fixing issues in a previous commit in the same PR).
• Each commit has a meaningful message documenting what it does.
• All messages added to the codebase, all comments, as well as commit messages are spellchecked.
• The code is commented OR not applicable/necessary.
• The patch is formatted via clang-format OR not applicable (if explicitly overridden leave unchecked and explain).
• There are test cases for the code you added or modified OR no such test cases are required.

[codecov]

Codecov Report

Merging #1659 (14da09e) into master (7b8edeb) will decrease coverage by 0.09%.
The diff coverage is 50.00%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1659      +/-   ##
==========================================
- Coverage   70.19%   70.11%   -0.09%     
==========================================
  Files         162      164       +2     
  Lines       19395    19479      +84     
  Branches     4630     4637       +7     
==========================================
+ Hits        13615    13657      +42     
- Misses       3741     3781      +40     
- Partials     2039     2041       +2     

Files	Coverage Δ
lib/Support/KConfig.cpp	100.00% <100.00%> (ø)
tools/klee/main.cpp	64.83% <100.00%> (+0.10%)	⬆️
include/klee/Support/KConfig.h	75.00% <75.00%> (ø)
lib/Core/MemoryManager.cpp	58.57% <34.92%> (-10.14%)	⬇️