Add .gitignore. Get rid of user-specific state.