Rationalize .gitignore and harmonize pair of Makefiles.