Tag release with today's date
tools: Add gitmakemake tool, to do a fully clean makemake using git

Clones the source tree into a subdirectory, runs makemake there, and
moves the resulting generated files back into the working directory.
This avoids problems with generated files being considered as sources.