trivial: update .gitignore