fixing bugs
fixing final bugs, C semantics is ready
fixing bugs in translation configuration merge
merging c-semantics/java into liyi/java
Merge branch 'java_rewrite_engine' of https://github.com/kframework/c-semantics into java_rewrite_engine

Conflicts:
	semantics/language/common/compat.k
moving trivial partial functions to total functions
fixing spelling problem
Merge pull request #54 from liyili2/java_rewrite_engine

Java rewrite engine