matita now includes compiling. if the file is not compiled it compiles it,
but if it is compiled it does not check that it may need to be rebuilt

better documentation both with -h and with F1

huge amount of work to make out Make crawl roots and
compile recursively what is needed

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