Update idris.cabal
Merge pull request #1231 from melted/patch-1

Add the rts/windows files to idris.cabal