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
add parallelism to kompile with Ground.tbl
fix yilong's comment
Merge pull request #1193 from dwightguth/parser

add parallelism to kompile with Ground.tbl
synchronize TaskQueue proc lists
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 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