Some housekeeping: .gitignore and .gitattributes