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
Merge branch 'master' of https://github.com/kframework/k
Removed new strategies from SymbolicRewriter for now
Commented out CompileToBuiltins in BasicBackend
Merge branch 'my-collections'
remove unused method and field
cleanup kexceptions
KTEST: Issue #96: multiple results directories - Revised
Merge remote-tracking branch 'origin/master'
use already defined file util
add null checks
move util class
remove unused method