Renumbering and first big clean cup are now finished.
Update to git "version" (which currently is "$Id$"...)