Final tweaks to gitignore