Implémentation de listes d'association
Implémentation de la numérotation des variables.
Gestion complète de l'option tseitin.
Merge branch 'tseitin' of https://github.com/BenzoX/Projet-SAT into tseitin

Conflicts:
	Makefile
	main.ml
	tseitin.ml
	valuation.ml
Mise à jour étrange
Gestion de la conversion du txt au cnf.
Reclassement des exemples. Correction du bug Tautologies.
Merge pull request #2 from BenzoX/tseitin

Tseitin
Merge branch 'master' of https://github.com/BenzoX/Projet-SAT
Gestion de la conversion.
Affichage a l'ecran de la transformee en CNF.
Implementation des tests. TODO : comparaison sur gnuplot.
Routines de test finalisées.
Quelques modifications benignes des routines de test.
Appel de GNUplot integre.
Nettoyage des fichiers de test.
Inauguration du test de difficulte.