Add agda specifics to .gitignore
nbe 0.0.1