Small tweaks to gitignore