Converting fromtend collections to builtin collections.
Merge branch 'master' of https://github.com/kframework/k
Converting fromtend collections to builtin collections.
Merge branch 'my-collections' of https://github.com/kframework/k into my-collections

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/JavaSymbolicBackend.java
relocate CompileToBuiltins in the new structure
Added in to the builtins translation.
Started adding the PriorityStrategy class
Added PriorityStrategy.java
Forgot to add some hooks
added private-members exercise to KOOL typed dynamic
created a top level README under the tutorial
minor README edit
Merge branch 'master' of https://github.com/kframework/k
Removed new strategies from SymbolicRewriter for now
cleanup: properly handled all input/output streams in K. Now they are all declared inside Java 7 try-with-resources blocks, that ensure proper cleanup and error handling. Only where needed.
Results:
1. Possible fix for ktest file-related issues.
2. Definitely should reduce the amount of open file handlers.
3. Visible performance speedup, due to the fact that all file streams are now  wrapped into buffered streams.
Shortened a long error message to 80 characters per line
Merge branch 'error_branch'
slightly updated config.xml for kool typed dynamic
KTEST: Create dry run mode: 'ktest --dry'
Updated config file to test imp with jre