add machine generated files to .gitignore