controller_pb_sat

ajout d'un controller pour le pb sat
- appelle les générateurs de clauses grille, jeu et saisies
- gère les compteur de clauses
- correction entête cnf pour sat4j