merging bdd2aig and aig2bdd
removing trash
OO aig structure and decomposition algorithms included (not tested)
romain algo 2.0 done, not debugged
merged with gaperez
writing c sim
fixed conf