AC-FOVE: propositionalization

* AggParfactor: changed split so it simplifies logical variables when
possible
* StdParfactor: deprecation of constructors and factories. Correction
in builder to simplify logical variables when possible
* StdMarginal: new method in builder
* Ignoring old tests that fail with new structures
* Propositionalize: implements the algorithm to propositionalize