Add missing idris sources for javascript to extra-source-files to fix cabal sdist