Add (probably long-overdue) .gitignore file.