Add AUTHORS (generated by update-copyright.py) to .gitignore.