More docs for Prelude.List
Removed '_|_' as a built in declaration and renamed it to 'Void',
'FalseElim' now 'VoidElim' to match up
Renamed VoidElim to void in order to ensure further consistency
Fix for pattern vars in transforms

We'll need this when making rewrite rules for partially evaluating type
class dictionaries.
Partial evaluator fixes

Need to identify when a specialisation has made no progress, so we don't
treat it as a specialisable application. Also fixes tranform rules.

With this it turns out to be safe (if not yet useful) to mark type class
dictionaries as 'static', but without further work on the partial
evaluator this isn't going to help much yet, so it's not enabled yet.
Merge pull request #1623 from edwinb/patvars

Fix for pattern vars in transforms
Merge branch 'master' of git://github.com/idris-lang/Idris-dev
Merge pull request #1625 from edwinb/partial-eval

Partial evaluator fixes
Update version number ready for upcoming release
Allow Partial Eval of lambdas/lets in static pos
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #1619 from ahmadsalim/feature/renamevoid

Removed `_|_` as a built in declaration and renamed it to `Void`
Allow Partial Eval of lambdas/lets in static pos
Increment IBC

This isn't strictly necessary since there's no format change, but there
has been a huge library renaming including some internal things, and
some things may end up stale by mistake (it just happened to me) so it's
mostly defensive, to prevent any confusing errors...
Merge pull request #1630 from edwinb/partial-eval

Allow Partial Eval of lambdas/lets in static pos
Removed '_|_' as a built in declaration and renamed it to 'Void',
'FalseElim' now 'VoidElim' to match up
Renamed VoidElim to void in order to ensure further consistency
Merge pull request #1631 from edwinb/force-ibc

Force ibc
Remove dead code in support
added zipWith3, zip3, and unzip3 for Vects