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/.
Merge branch 'master' of https://github.com/kframework/k
added owners in samples/prog-equiv.
Merge remote-tracking branch 'upstream/master'