Splitted Flatten Syntax in two.

Conflicts:
	src/javasources/KTool/src/org/kframework/compile/transformers/FlattenSyntax.java
Changed some Flatten Syntax steps into flatten terms as they were only called on elements smaller than definition.
renamed theMain in Main and theObject in Object in kool; no need for Id2String definition for Main or Object
Updated and used Kil Properties for FlattenSyntax
deleted kool tests in samples/java_rewrite_engine/tutorial/2_languages/2_kool; using tests in tutorial/2_languages/2_kool instead
Merge pull request #305 from kframework/kore-first-master

Splitted Flatten Syntax in two.
Merge pull request #307 from kframework/tokenfix

renamed theMain in Main and theObject in Object in kool; no need for Id2...
Merge branch 'master' of github.com:kframework/k into ktest