Une maj avec une première implémentation (non testée !) de DPLL

Quelques questions/remarques :
  - prq avoir enlevé les val dans les mli ? c'était pratique
  - prq ne plus stocker le nb de var dans une formule, et avoir un vartable de l'ensemble des vars ?
  - une modif notable : set_val renvoie true si aucun clause vide créée, false sinon
  - il faudrait essayer de rendre la fonction constraint_propagation (dans dpll.ml) plus concise
  - je doute de ma fonction dpll : est-elle correcte ? et surtout : pas de rec terminale, risque de dépassement de pile ?
  - tu peux adapter ton main à mon lexer/parser ?