Adding more (and corrected) .gitignore entries.