Revert "Trying to improve the way krun calls external parser, and recognizes kast commands (optimized for direct calls)."

This reverts commit edc14d1202d1e74b85ac31efec3f05642b041fd1.
Fixing bug in TermCons.hashCode().
remove builtins fields from JavaSymbolicKRun
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 #574 from kframework/ktest-issue-533

Move to-be-processed.txt to github wiki
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
fix two more definitions in samples directory
fix agent
updated simple-untyped.k
removed Token{...}
Added discussion about sequential composition
Fixing the failing regression test.
   - had to rearrange the ambiguities.
added comment for Stmts as first argument of for
included simple-untyped in config.xml's
Merge branch 'master' into unified-builtins2

Conflicts:
	tests/config.xml (solved)
	tests/configjavarw.xml (solved)
Merge pull request #455 from kframework/parser-priorities2

Parser priorities2
Merge branch 'master' into unified-builtins2-master-merge

Conflicts:
	src/javasources/KTool/src/org/kframework/kil/loader/Context.java (solved)
Merge remote-tracking branch 'origin/unified-builtins2' into refactoring-of-TermContext

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/BuiltinFunction.java
add floats for mac os x