#KJ-128 Add support for LTL model checking. Basic support implemented. Also added option --ltlmc to kjrun.sh