ktest: remove hard-coded SIGTERM value and use program state to report timeouts
Merge pull request #1175 from osa1/fix1127

remove hard-coded SIGTERM value and use program state to report timeouts
Adding support for parseInModule (for programs) - (collapsed history).
Forgot to add quote-unquote.kore
Merge pull request #1176 from kframework/parseInModule1Commit

Parse in module1 commit
improved handling of pattern folding rules for cell data structures
improved detection of reachaing the end of the rule
bug fixes
fix to normalize substitution
fixed bubble sort spec
added occurs check in the pattern matcher
Merge pull request #1190 from andreistefanescu/master

prover improvements triggered by the js semantics