dev-lang/idris: remove use flags as they are obsolete