Add assorted unnecessary files to .gitignore