Remove oldeffects from build
Merge branch 'master' of github.com:idris-lang/Idris-dev
Extract giant case block to top-level function

This is for readability.
Merge pull request #1049 from david-christiansen/ideslave-cleanup

Extract giant case block to top-level function in IDESlave in REPL.hs
Merge branch 'master' of github.com:idris-lang/Idris-dev
Make a note of deferred data types

Fixes #1051
Remove example directory

See http://github.com/edwinb/idris-demos instead
Rename UnusedArgs to Erasure.
Remove export of traceUnused.
Simplify unused arg search.
Cleanup and purification in Erasure.hs.
More purification.
Simplification with pattern guards.
findUsed stub written.
Make ProjCase take exactly one alternative.   (TODO: is this safe?)
Intercommit. (Deeper usage analysis.)
Ctor usage analysis roughly complete.
Intercommit.
Another intercommit.
Reapply 08779298ce2e95b3e16a5a3e5d9c0cf3936d0507 from master.