create JavaCC parser for new KAST
fix copyright
add kast front end for new syntax
fix copyright
Bug fixes in --pattern-matching + increased error logging
fix yilong's comment
synchronize TaskQueue proc lists
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 test failures arising from new kast syntax
fix copyright
fix Andrei's comment
add javadoc
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.
up timeout for cd2d, hoping to avoid jenkins failures