better .gitignore from GitHub