ghp: updating .gitignore