Bug fixes in --pattern-matching + increased error logging
fix yilong's comment
synchronize TaskQueue proc lists
merged lookups and constrant in java backend rule
remove dead code
Merge pull request #1197 from andreistefanescu/master

merged lookups and constrant in java backend rule
Merge pull request #1196 from osa1/ktest-concurrency-bug

synchronize TaskQueue proc lists
Merge pull request #1194 from dwightguth/rewriter

Bug fixes in --pattern-matching + increased error logging
fix unsoundness bug in Equality#isFalse
fix Yilong's comment
add isNormal function + use it to exit quickly from unification
fix copyright
fix Andrei's comment
Merge pull request #1195 from dwightguth/prover

fix two unsoundness bugs in prover
Adding option for parseInModule since it takes so long for some definitions.
Renaming options and optimizing generated parsers.
Somehow I forgot to rename the field.
Require that the regression newparser tests still generate the program new parser tables.
Merge pull request #1198 from kframework/parseOption

Adding option for parseInModule since it takes so long for some definitions.