Depends on cairo2, not cairo.
new functions in minicalc.
Add printing functions.
Add the constant folding pass.
Don't evaluate the axiom anymore, apply const fold to the axiom.

Change the behaviour of store on streams : it now forces lazy functionnal streams.
Update benchmarks to work and test optims.
Add some documentation and rename LisOpti to LisOptim.