Teach `tools/result-info-extract-coverage.py` tool to optionally add missing programs with zero coverage to the coverage info file.
Teach `tools/result-info-extract-coverage.py` tool to optionally
add missing programs with zero coverage to the coverage info file.

delcypher/klee-runner,delcypher/klee-runner