minor gitignore additions