Convert into Python module package

[ssardina]

• FOND-SAT as a package module (can be installed with pip!)
• Clean-ups in many places
• Can generate DIMACS file with comments per clause

[ssardina]

@tomasgeffner uyyy pense que lo habia hecho sobre mi fork, pero bueno no importa.

Hace rato queria hacer refactor de FOND-SAT para que pueda ser instalado como app via pip, bueno aca esta. No fue tan dificil...

Y tambien hice una opcion --comment que agrega un comentario en DIMACS per clause:

p cnf 1 1
c generateInitial: ['-(var0=0)(n0)']
-1	0
c generateGoal: ['(var0=0)(ng)']
2	0
c generateOneSuccessor: ['-(n0,setq,n0)', '-(n0,setq,n1)']
-9	-10	0
c generateOneSuccessor: ['-(n0,setq,n0)', '-(n0,setq,ng)']
-9	-11	0
c generateOneSuccessor: ['-(n0,setq,n1)', '-(n0,setq,n0)']
-10	-9	0
c generateOneSuccessor: ['-(n0,setq,n1)', '-(n0,setq,ng)']
-10	-11	0
c generateOneSuccessor: ['-(n0,setq,ng)', '-(n0,setq,n0)']
-11	-9	0
c generateOneSuccessor: ['-(n0,setq,ng)', '-(n0,setq,n1)']
-11	-10	0
c generateOneSuccessor: ['-(n0,setq())', '(n0,setq)']
-3	6	0
c generateOneSuccessor: ['-(n0,setq)', '(n0,setq,n0)', '(n0,setq,n1)', '(n0,setq,ng)']
-6	9	10	11	0
c generateOneSuccessor: ['-(n0,setq)', '(n0,setq())']
-6	3	0

Yo creo que esta mejor que FOND-SAT quede como un paquete modulo. Siempre se puede usar via python -m fondsat ... tambien sin instalar