refactor rule metadata in java backend to use typed attributes
Remove the KSorts file that still used the old String representation for Sort.
Part two.
Part three.
Part four. I think I found the last bugs.
Found the NullPointerException.
Part five. I think I found the last bug.
Merge branch 'master' into fastrewriter

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/compile/GenerateKRewriteMachineInstructions.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java
	src/javasources/KTool/src/org/kframework/compile/transformers/AddLocalRewritesUnderCells.java
	src/javasources/KTool/src/org/kframework/compile/transformers/ComputeCellsOfInterest.java
fix copyright
Part of the changes.
remove unused class
refactoring -- remove unused stuff, replace manual indexing with for-in, fix a javadoc
inline constants. most of them were left unused after moving to JCommander. for uniformity I removed them all.
pass KTestOptions instead of settings individually
Extracted escapeSort for String, Sort and NonTerminal. Fixed some more of Dwight's comments.
This should be commented.
fixed a bug in SymbolicUnifier
fixed more bugs...
fixed even more bugs
changed the config file of simple-typed-static to test the fast rewriter instead of the normal ground rewriter