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.
Updated and used Kil Properties for FlattenSyntax
Merge pull request #305 from kframework/kore-first-master

Splitted Flatten Syntax in two.