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