C-FOVE: Counting Convert

* MacroOperations: added the counting convert macro operation
* ParameterizedFactor:added iterator over tuples. Finally something
useful!
* SimpleParfactor: corrected the counting operation
* Parfactor: added counting operation
* MacroOperationsTest and Pool: test of counting convert macro
operation based on the example of computation of Kisynski (2010)

The counting convert operation is ready, but not test thoroughly (as
usual). The new method to iterate over tuples is going to be useful to
other operations.