nbe 0.0.1
add Agda specifics to .gitignore