Small additions to .gitignore