Minor tweaks to gitignore