minor: corrected indentation
minor: fixed indentation
added some documentation for the backend and compiler steps
minor: revised some documenation; cleaned up some code
added a new temporary unflatten-java backend
testgen: when generating contexts from seqstrict production, use side conditions to enforce certain arguments to be KResults
used the flag K.do_testgen to avoid failing test cases for Java rewrite engine; further investigation needed