a proper .gitignore