Make .gitignore more complete and compliant