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.
fix ltrim function of string.k
Merge pull request #920 from osa1/ktest-refactor

[ktest] simplification and refactoring
Merge pull request #922 from kframework/removeKSorts

Remove the KSorts file that still used the old String representation for Sort
fix issue with mutable attributes