Remove build.h and version.tex from versioning, they're autogenerated
Make 'Makefile' the dummy makefile to instruct user to launch configure if no GNUmakefile is found
Make GNUmakefile the generated makefile and exclude it from the versioning
Update .gitignore accordingly
32c8455017