some personalizations to .gitignore