improved the algorithm that compiles rules for fast rewriting
minor refactoring
improved indexing algorithm by only traversing the subject term to retrieve indexing pairs when the cell structure has been modified in previous rewrite step
fixed failing tests
change cell label representation to class in the Java backend
improvements on ktest reporting:

* "Running ..." logs are printed just before starting running a process, instead of printing all of them at once while registering to process pool.
* "Running ..." logs are also printed for kompile and pdf steps.
fix output redirections printed by --dry command
minor refactoring
marked Term#hashCode to be transient
made UninterpretedConstraint immutable
Merge pull request #901 from yilongli/reduce-indexing-time

Reduce indexing time
fixed NPE
fix splitLine function. it now splits the string even if it has no spaces before length limit but has spaces after it to make printed lines shorther.
improve error reporting when config file has invalid format (resolves #909)
Merge pull request #914 from yilongli/make-field-hashcode-transient

Make Term#hashcode in Java backend transient
Merge pull request #917 from osa1/dry-output

#913 reopened for master branch
Merge pull request #918 from osa1/ktest-error-reporting

#912 reopened for master branch
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
fix bug adding autoinclude imports regardless of the flag