proj: updating .gitignore