irediced usage of matita.includes, that is now set by
matitaInit and should be read once at the beginning of every
main, removed rottener

some work on making the compiler command line cleaner,
moved the .ma instantiation of the Make module in
matitacLib.
still not working:
  ./matitac library/nat/plus/ma
while should work:
  ../matitac nat/plus.ma

get rid of gragrep, matitamake(Lib) and development windows,
added a tutor to create a root file

modifications to make matita behave reasonably, removed some useless windows

missing files added

make directory erased, no more -bench since it is the default,
-v activates verbose mode, no more "matita.verbosity" and "matita.bench"
just "matita.verbose". erased matitatop.

matitac now compiles like make (recorsively) if needed.
baseuri is not a non optional field of the grafite status, since
you can always know it at the beginnig

matitadep ported to the new baseuri free model

added support for single target

experimental branch with no set baseuri command and no developments