[ lib-succeed ] Ignoring Agda interface files

See https://github.com/agda/agda/commit/526e220c5e184a57dcb9054356d96a3e08996c09#commitcomment-8130647.