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.
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