Add agda specifics to .gitignore