KTEST2: keep steps to skip in a set instead of array (this will later allow me to use union operation easily)
KTEST2: add skip attribute support for test cases in config.xml to ktest2
print test suite status after running tests
make .k in definition attributes optional
added a new desired LOGIK definition
Kompile - syntactic cast now checks inner sort again.
Some more proofs done.
KTEST: Support environment variables in the configuration files
Merge remote-tracking branch 'origin/master'
KTEST: Write a document of ktest configuration files
KTEST: minor change of the documentation
KTEST: Modify --dry run mode
KTEST: bugfix of the previous commit
Kompile - improving cell disambiguation.
Kompile - cell type disambiguation restricted to only concrete user sorts.
fixed logik to work with sort inference from cells
fixing imp-recheability after previous commit. Readded addbrackets example to regression.
Kompile - removing cell sort verification. Apparently it's too restrictive. We should discuss it more.
Kompile - fixing disambiguation for ground parser. Not calling type verifier.
updated definitions in samples/prog-equiv/.