AC-FOVE: code refactoring for SimpleParfactor (sum out)

* StdParfactor: documentation on isSplittable() and implementation of
sum out
* Parfactor: documentation
* CountingFormula: correction to build range (histograms)
* StdParfactorTest: added tests for sum out from SimpleParfactorTest