Fixpoint with a stack

Voila ma grosse pull request avec plus de foncteurs !
Ne te sens pas obligé de l'accepter tel quelle, il y a pas mal de tests qui ne repassent plus, mais au moins tu vois à quoi t'attendre.
La raison pour laquelle des tests ne passent plus (enfin je pense), c'est que kleene_fixpoint renvoie un graph un peu plus modifié qu'avant, et en particulier, il n'a pas de vertex en commun avec l'original. Par contre il renvoie aussi une map qui permet de retrouver les vertex qui sont des copies de ceux du graph original. J'ai trifouillé des trucs pour que tout compile, mais je n'ai pas changé les fonctions qui utilisent les résultats.