No line break in stack printing

Avoid problems when generating .dot
Configurable stack depth
Add an implicit constraint with TPgetfun
Some cleaning
Test primitives

Uncomment lines when fixed
Print unimplemented primitive
Assert cp >= 0
Some more print
Fix problem with not
Fix greater or equal
Some more tests
Pattern matching tests
Merge branch 'chambart'
More ident names in tlambda, no module printing in tml