Add hack to dump names of programs where the tool verified as incorrect and the task type was no_assert_fail.
Add hack to dump names of programs where the tool verified as incorrect
and the task type was no_assert_fail.

delcypher/klee-runner,delcypher/klee-runner