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
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 #512 from kframework/java-substitution

Java builtin (user-level) substitution