Add .agdai to .gitignore.