tools: corrected problems in symbolic execution integration and kjtest. Now symbolic execution can be integrated into Jenkins.