This little patchset suppress some generated files from the git tree and modify autogen.sh to be able to regenerate them at will. This was necessary because it is a real pain to be forced to do a "git stash" to get rid of local modification before being able to run a "git pull". -- Eric Leblond