Reshaped structure of ocaml/ libraries, matita changed accordingly.

Reshaped structure of ocaml/ libraries, matita changed accordingly.
Verbose list of the changes:
  Modified Files:
	  Makefile.in METAS/meta.helm-cic_disambiguation.src
	  cic_disambiguation/.depend cic_disambiguation/Makefile
	  cic_disambiguation/disambiguate.ml
	  cic_disambiguation/disambiguate.mli
	  cic_disambiguation/disambiguateChoices.ml
	  cic_disambiguation/disambiguateTypes.ml
	  cic_disambiguation/disambiguateTypes.mli extlib/.depend
	  extlib/Makefile xml/xml.ml xml/xml.mli
  Added Files:
	  METAS/meta.helm-acic_content.src METAS/meta.helm-cic_acic.src
	  METAS/meta.helm-content_pres.src METAS/meta.helm-grafite.src
	  METAS/meta.helm-hgdome.src acic_content/.cvsignore
	  acic_content/.depend acic_content/Makefile
	  acic_content/acic2astMatcher.ml
	  acic_content/acic2astMatcher.mli acic_content/acic2content.ml
	  acic_content/acic2content.mli acic_content/cicNotationEnv.ml
	  acic_content/cicNotationEnv.mli acic_content/cicNotationPp.ml
	  acic_content/cicNotationPp.mli acic_content/cicNotationPt.ml
	  acic_content/cicNotationUtil.ml
	  acic_content/cicNotationUtil.mli acic_content/content.ml
	  acic_content/content.mli acic_content/content2cic.ml
	  acic_content/content2cic.mli acic_content/contentPp.ml
	  acic_content/contentPp.mli acic_content/termAcicContent.ml
	  acic_content/termAcicContent.mli cic_acic/.cvsignore
	  cic_acic/.depend cic_acic/Makefile cic_acic/cic2Xml.ml
	  cic_acic/cic2Xml.mli cic_acic/cic2acic.ml
	  cic_acic/cic2acic.mli cic_acic/doubleTypeInference.ml
	  cic_acic/doubleTypeInference.mli cic_acic/eta_fixing.ml
	  cic_acic/eta_fixing.mli content_pres/.cvsignore
	  content_pres/.depend content_pres/Makefile content_pres/box.ml
	  content_pres/box.mli content_pres/boxPp.ml
	  content_pres/boxPp.mli content_pres/cicNotationLexer.ml
	  content_pres/cicNotationLexer.mli
	  content_pres/cicNotationParser.ml
	  content_pres/cicNotationParser.mli
	  content_pres/cicNotationPres.ml
	  content_pres/cicNotationPres.mli content_pres/content2pres.ml
	  content_pres/content2pres.mli
	  content_pres/content2presMatcher.ml
	  content_pres/content2presMatcher.mli
	  content_pres/mpresentation.ml content_pres/mpresentation.mli
	  content_pres/renderingAttrs.ml content_pres/renderingAttrs.mli
	  content_pres/sequent2pres.ml content_pres/sequent2pres.mli
	  content_pres/termContentPres.ml
	  content_pres/termContentPres.mli content_pres/test_lexer.ml
	  extlib/patternMatcher.ml extlib/patternMatcher.mli
	  grafite/.cvsignore grafite/.depend grafite/Makefile
	  grafite/cicNotation.ml grafite/cicNotation.mli
	  grafite/grafiteAst.ml grafite/grafiteAstPp.ml
	  grafite/grafiteAstPp.mli grafite/grafiteParser.ml
	  grafite/grafiteParser.mli grafite/print_grammar.ml
	  grafite/test_dep.ml grafite/test_parser.ml hgdome/.cvsignore
	  hgdome/.depend hgdome/Makefile hgdome/domMisc.ml
	  hgdome/domMisc.mli hgdome/xml2Gdome.ml hgdome/xml2Gdome.mli
  Removed Files:
	  METAS/meta.helm-cic_notation.src METAS/meta.helm-cic_omdoc.src
	  METAS/meta.helm-cic_transformations.src
	  cic_disambiguation/disambiguatePp.ml
	  cic_disambiguation/disambiguatePp.mli cic_notation/.cvsignore
	  cic_notation/.depend cic_notation/Makefile cic_notation/TODO
	  cic_notation/box.ml cic_notation/box.mli cic_notation/boxPp.ml
	  cic_notation/boxPp.mli cic_notation/cicNotation.ml
	  cic_notation/cicNotation.mli cic_notation/cicNotationEnv.ml
	  cic_notation/cicNotationEnv.mli cic_notation/cicNotationFwd.ml
	  cic_notation/cicNotationFwd.mli
	  cic_notation/cicNotationLexer.ml
	  cic_notation/cicNotationLexer.mli
	  cic_notation/cicNotationMatcher.ml
	  cic_notation/cicNotationMatcher.mli
	  cic_notation/cicNotationParser.expanded.ml
	  cic_notation/cicNotationParser.ml
	  cic_notation/cicNotationParser.mli
	  cic_notation/cicNotationPp.ml cic_notation/cicNotationPp.mli
	  cic_notation/cicNotationPres.ml
	  cic_notation/cicNotationPres.mli cic_notation/cicNotationPt.ml
	  cic_notation/cicNotationRew.ml cic_notation/cicNotationRew.mli
	  cic_notation/cicNotationTag.ml cic_notation/cicNotationTag.mli
	  cic_notation/cicNotationUtil.ml
	  cic_notation/cicNotationUtil.mli cic_notation/grafiteAst.ml
	  cic_notation/grafiteAstPp.ml cic_notation/grafiteAstPp.mli
	  cic_notation/grafiteParser.ml cic_notation/grafiteParser.mli
	  cic_notation/mpresentation.ml cic_notation/mpresentation.mli
	  cic_notation/print_grammar.ml cic_notation/renderingAttrs.ml
	  cic_notation/renderingAttrs.mli cic_notation/test_dep.ml
	  cic_notation/test_lexer.ml cic_notation/test_parser.conf.xml
	  cic_notation/test_parser.ml cic_notation/doc/.cvsignore
	  cic_notation/doc/Makefile cic_notation/doc/body.tex
	  cic_notation/doc/infernce.sty cic_notation/doc/ligature.sty
	  cic_notation/doc/main.tex cic_notation/doc/manfnt.sty
	  cic_notation/doc/reserved.sty cic_notation/doc/samples.ma
	  cic_notation/doc/semantic.sty cic_notation/doc/shrthand.sty
	  cic_notation/doc/tdiagram.sty cic_omdoc/.cvsignore
	  cic_omdoc/.depend cic_omdoc/Makefile cic_omdoc/cic2acic.ml
	  cic_omdoc/cic2acic.mli cic_omdoc/cic2content.ml
	  cic_omdoc/cic2content.mli cic_omdoc/content.ml
	  cic_omdoc/content.mli cic_omdoc/content2cic.ml
	  cic_omdoc/content2cic.mli cic_omdoc/contentPp.ml
	  cic_omdoc/contentPp.mli cic_omdoc/doubleTypeInference.ml
	  cic_omdoc/doubleTypeInference.mli cic_omdoc/eta_fixing.ml
	  cic_omdoc/eta_fixing.mli cic_transformations/.cvsignore
	  cic_transformations/.depend cic_transformations/Makefile
	  cic_transformations/applyTransformation.ml
	  cic_transformations/applyTransformation.mli
	  cic_transformations/cic2Xml.ml cic_transformations/cic2Xml.mli
	  cic_transformations/content2pres.ml
	  cic_transformations/content2pres.mli
	  cic_transformations/domMisc.ml cic_transformations/domMisc.mli
	  cic_transformations/sequent2pres.ml
	  cic_transformations/sequent2pres.mli
	  cic_transformations/xml2Gdome.ml
	  cic_transformations/xml2Gdome.mli