Split Hgraph in smaller files and add mli
.gitignore: *.orig
Fixpoint rewriten to have a Stack parameter

Some tests are failing