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
included regression tests extracted from the C semantics
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
updated document according to Grigore's comment
Merge pull request #769 from yilongli/add-support-for-anywhere-rules

Add support for anywhere rules