Updating K version in INSTALL.
moving changes from java_rewriting_engine4 branch
fixing . to become .K or .Bag
change :>Constant :>Int back
change :>Constant :>Int back
change :>Constant :>Int back
fixing ambiguity
Fix regression (extra seqpoint in fun call).

Evaluation of the expression for the function itself is unsequenced relative to
the arguments to the function call itself -- sequencing them was a "fix" that I
introduced at some point due to a misreading of the standard.
bring functionality from master branch
bring functionality from master branch
Merge pull request #39 from yilongli/java_rewrite_engine

updated config file to test the fast rewriter instead
Revert "updated config file to test the fast rewriter instead"
Merge pull request #40 from yilongli/revert-39-java_rewrite_engine

Revert "updated config file to test the fast rewriter instead"
fixing bugs
fixing bugs
Merge pull request #38 from liyili2/java_rewrite_engine

Java rewrite engine
Fix for dupe keys in the <modified> map.
Merge branch 'master' into java_rewrite_engine

Conflicts:
	semantics/language/common/syntax.k
	semantics/language/execution/expr/function-call.k
	semantics/language/execution/stmt/block.k
	semantics/language/translation/expr/function-call.k