make sure trivial stuff is not tracked by git

The current `.gitignore` is not very good, files such as .DS_Store is tracked in git.