[idris] ignore ibc, not idr files