Better .gitignore, remove user-specific files
Better .gitignore