documentation for Cameleon

 It contains documentation build with Cameleon:
  - Cameleon reference manual
  - Cameleon user manual,
 .
 Documentation can be in HTML, Postscript or odoc formats.