Include agda-assoc-free
Update .gitignore