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