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.
fix bug adding autoinclude imports regardless of the flag
catch ParameterException again :/
Merge pull request #926 from cos/fix-autoinclude

fix bug adding autoinclude import regardless of the flag
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