added support for [anywhere] rules
deprecated LocalEvaluator; moved its debug assertion to the fast SubstituteAndEvaluateTransformer
fixed a problem related to isNat predicate in builtins/int.k
used [anywhere] rules in KOOL
changed SIMPLE to use [anywhere] rules for lookup
used globalOptions.debug; fixed some bugs
fixed whitespace
excluded unsupported [anywhere] rules in the Java backend
fixed simple-typed-dynamic
addressed dwight's comment
fix some bugs to make stuff more explicitly bound
fix copyright
included regression tests extracted from the C semantics
fix circular dependency
Merge branch 'unified-builtins2' into add-support-for-anywhere-rules

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/kil/Definition.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/MacroExpander.java
	src/javasources/KTool/src/org/kframework/compile/utils/MetaK.java
	src/javasources/KTool/src/org/kframework/kil/Attribute.java
Merge pull request #774 from dwightguth/guice-ant

fix some bugs to make stuff more explicitly bound
updated document according to Grigore's comment
remove krun dependence on parser code
Merge pull request #769 from yilongli/add-support-for-anywhere-rules

Add support for anywhere rules
Merge pull request #782 from dwightguth/collectvars

remove krun dependence on parser code