KJ-22 Symbolic execution - tools support. Full support implemented for kjrun and kjtest. Added kjtest output files for symbolic execution examples. ready to be integrated into jenkins. Untested.