gap-groupoids/.gitignore