Revert "[ lib-succeed ] Ignoring Agda interface files"

This reverts commit 554d09d42bef6673db38ff4a83ef46a4ff7d3ab5.
[ lib-succeed ] Removing Agda interface files
Merge branch 'maint-2.4.2'