v0.8

CHANGES:

• dune is no longer a build dependency
• fix pretty-printers
• fix comparison functions
• add tests about comparison functions
• delete useless internal functions
• clean the distribution (and delete fmt dependency)