Tweaks to .gitignore