Update idris.cabal for Decidable