Tweaks to .gitignore.