Switch to new standard .gitignore file

Please use the global .gitignore file (at `~/.gitignore`) to ignore OS-
or tool-specific files.