[ lib-succeed ] Ignoring Agda interface files

See https://github.com/agda/agda/commit/526e220c5e184a57dcb9054356d96a3e08996c09#commitcomment-8130647.
Merge remote-tracking branch 'origin/maint-2.4.2'