Updating K version in INSTALL.
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.
updated config file to test the fast rewriter instead
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"
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
Removing no-longer-needed sqrtFloat function.
Fix break introduced by merge from master.
Suppressing warnings.
Removing cruft.
fixed several functions to be total
fixed one more function
Merge pull request #42 from yilongli/java_rewrite_engine

fixed several functions to be total
removed a hack that leads to incorrect parsing of programs
improved $isConstArrayDeref
regenerated sum.cil.c to be sync with sum.c
simplified sum_spec.k