added Matitamake interface

absolute path and factorization for matita.basedir

- changed semantics of "init": now it is idempotent
- added support for "-v" flag printing "make" command line
- minor change: lazy discovering of whether we are ".opt" or not

use matita.verbosity instead of matita.quiet

- uniformed command line handling of matitamake with that of other matita tools
- changed "-q" flag semantics: now it reduce the "matita.verbosity" value by 1
  unit
- added "-v" flag: it increase the "matita.verbosity" value by 1
- "matita.quiet" is no longer in use

help path is no longer hard coded but relative to runtime base dir

fixed tactic ids to include a "tac_" prefix

- bugfix: pass -conffile to matitamake
- more quiet feedback during compilation of stdlib

Basic facts about group morphisms.

moved mathql/ under software/

first sketch of the documentation (to be used by yelp)

s/ocaml/components/ in the "tag" target

* groups splitted into groups and finite_groups
* a few lemmas added to groups

removed a Pcre capture that being _NON TAIL RECURSIVE_ used to cause stack_overflow... mah...

termine bacato.

fixed usage of matita.auto_disambiguation

Bug?

First proof on groups completed!

on the fly generation of distribution configure.ac

ported to the new svn architecture

- no longer need to dynamically discover if the components dir is libs/ or
  ocaml/: now it is components/(!)
- reverted default settings to the devel ones (debugging on, runtime dir=`pwd`,
  ...)

moved (dummy) dist stuff into software/matita/

moved toplevel makefile to sfotware/

- renamed ocaml/ to components/
- moved components/ and matita/ below software/

reorganization continues ...

(dis)organized web stuff

daemons tamed