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