Add neweffects library

Old effects library will be dropped soon. The new version has support
for resources depending on results of operations (which turns out to be
really important!), and some new syntactic sugar, but is unfortunately
not compatible with the old version.
Add missing files to idris.cabal