Add missing modules to idris.cabal