Some additions to .gitignore