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.
catch ParameterException again :/
Merge pull request #927 from dwightguth/parameterexception

catch ParameterException again :/
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
removed the annoying jcommander.internal.Lists