gitignore for agda
simplified bsd license