Ignore some files in git.

Ignore some files present after a clean build on GNU/Linux.
Merge pull request #8 from domob1812/gitignore

Ignore some files in git.