removal of annoying files, addition of file names to .gitignore