Converting fromtend collections to builtin collections.
Merge branch 'master' of https://github.com/kframework/k
Converting fromtend collections to builtin collections.
Merge branch 'my-collections' of https://github.com/kframework/k into my-collections

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/JavaSymbolicBackend.java
relocate CompileToBuiltins in the new structure
Added in to the builtins translation.
Commented out CompileToBuiltins in BasicBackend
Merge branch 'my-collections'
testing the integration of my-collections in Master
Merge branch 'master' of https://github.com/kframework/k
more changes to subastitution (freeVars for ~> )
Merge branch 'master' of https://github.com/kframework/k

Conflicts:
	include/modules/substitution.k