work on jeva user substitution
Merge branch 'unified-builtins2' into java-substitution
Java builtin substitution (user-level)
Removed redundant variable.
Using include instead of another test specification.
added to config.xml
reverted configjavarw.xml
Using full binder information.
Forgot that binders are numbered using positions starting at 1.
Fix for generalized binder substitution
Implementing "freevars"
Splitted binders into binder and metabinder
Firgot copyright
Added JavaDoc for UnboundedTermsCollector
Move to-be-processed.txt to github wiki
Removed unreachable code.
Merge branch 'unified-builtins2' into java-substitution

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/kil/KLabelConstant.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/BuiltinFunction.java
Merge pull request #575 from kframework/ktest-issue-533-unified-builtin2

Move to-be-processed.txt to github wiki -- unified-builtin2
Merge pull request #512 from kframework/java-substitution

Java builtin (user-level) substitution
added builtin size operation for collections

Conflicts:
	include/builtins/list.k
	include/builtins/map.k
	include/builtins/set.k
progress on heap patterns
updated SpecificationCompilerSteps to reflect the changes in FlattenSyntax

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/SpecificationCompilerSteps.java