no need to rename rule vars since we always use pattern-matching for function evaluation
fixed some latent bugs introduced by the new AC collection; improved CellCollection#toString
removed obsolete test generation code
Merge branch 'unified-builtins2' into preserve-rule-var-original-name

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java
removed GroupProductionsBySort
Merge pull request #777 from yilongli/preserve-rule-var-original-name

improve intermediate debugging messages printed by the prover
Merge pull request #779 from yilongli/remove-obsolete-test-generation-code

removed obsolete test generation code