Part three.
Part four. I think I found the last bugs.
Found the NullPointerException.
Merge pull request #916 from yilongli/change-celllabel-from-string-to-class

change cell label representation to class in the Java backend
Merge pull request #919 from osa1/verbose-out

#910 reopened for master branch
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 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
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