Fix missing files in idris.cabal