gitignore-files for some things