changing gitignore

so that git ignores those files. we do not need to keep track of changes
on them.