1. Several files in grafite that should be in grafite_parser moved there.

1. Several files in grafite that should be in grafite_parser moved there.
2. grafiteEngine is now generalized over the function baseuri_of_script
   (that associates the baseuri to a .ma file). This function is used to
   execute the Include statement. However, it seems to me that this shows
   a problem in the architecture (since the only possible implementation of
   the function involves using the grafie_parser right now).

Modified Files in ocaml:
	METAS/meta.helm-grafite_parser.src grafite/.depend
	grafite/Makefile grafite/cicNotation.ml
	grafite/cicNotation.mli grafite2/disambiguatePp.ml
	grafite2/disambiguatePp.mli grafite2/grafiteEngine.ml
	grafite2/grafiteEngine.mli grafite2/grafiteMisc.ml
	grafite2/grafiteMisc.mli grafite_parser/.depend
	grafite_parser/Makefile
Modified Files in matita:
        matitaEngine.ml matitaEngine.mli matitaGui.ml matitaInit.ml
        matitaScript.ml matitacLib.ml matitaclean.ml matitadep.ml
Added Files in ocaml:
	grafite_parser/cicNotation2.ml grafite_parser/cicNotation2.mli
	grafite_parser/grafiteParser.ml
	grafite_parser/grafiteParser.mli
	grafite_parser/grafiteParserMisc.ml
	grafite_parser/grafiteParserMisc.mli
	grafite_parser/print_grammar.ml grafite_parser/test_dep.ml
	grafite_parser/test_parser.ml
Removed Files in ocaml:
	grafite/grafiteParser.ml grafite/grafiteParser.mli
	grafite/print_grammar.ml grafite/test_dep.ml
	grafite/test_parser.ml