Ignore some files in git.

Ignore some files present after a clean build on GNU/Linux.