symbiotic: send SIGINT to klee instead of killing it
symbiotic: send SIGINT to klee instead of killing it

it is to let it generate the error trace. If we kill it, it wont
generate it

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic