Generalize list eliminator

Generalize the list eliminator to return any type, rather than only the type of the elements in the list. This matches the behavior of other eliminators, such as maybe and either.
Make all Verified* type class methods total

We generally want proofs to be total.
Properly pretty-print typeclasses for REPL command ':doc'

This requires adding info about the parameters and instances to the
ClassDoc constructor of the Docs datatype.
Remove the REPL Info command

Removed from the `Command` datastructure, REPL-parser, REPL-help,
process and ideslaveProcess. The functionality of showing infos for
typeclasses has been subsumed by the `DocStr` command.
Remove deprecatd classInfo method from REPL.hs
Add laziness to values which aren't evaluated in all branches of a function.

Most notably, this includes making (&&) and (||) lazy in their second
arguments, allowing conventional short-circuiting behavior.
Correspondingly, the foldable functions `and` and `or` now short-circuit
as well by applying foldables which contain lazy Bool values. Unlike
Haskell, short-circuiting occurs from right to left on lists,
because as Idris is a strict language, `foldr` evaluates from the inside
(right side) out.
Show defined and automatically generated class instances in different blocks
Bug fixing of induction bugs

Allow renaming according to introduced context
Allow induction on records
Fix #1015

Issuing 'undo' in the prover when there is
nothing to undo should result in a less
scary looking error message.
Merge pull request #1145 from raichoo/fix1015

Fix #1015
Don't set CC if it has already been set

Fixes issue #1146.
Merge pull request #1148 from melted/cc

Don't set CC if it has already been set
Properly ignore comments in ipkg files

Fixes #1149.
Careful with shadowing when abstracting with

Specifically, need to lookup exact (i.e. fully qualified) names rather
than unqualified names to make sure we don't accidentally think local
names are global.

Fixes #1147
Merge branch 'master' of github.com:idris-lang/Idris-dev
Merge pull request #1143 from ahmadsalim/bug/inductionfix

Bug fixing of induction bugs
Display docstrings for typeclass parameters and simplify dispaly of subclasses

The docstrings for the typeclass parameters do not actually show up yet
because the structure is not populated.
Merge pull request #1152 from david-christiansen/ipkg-parser

Properly ignore comments in ipkg files
Merge pull request #1138 from reynir/total-verified

Make all Verified* type class methods total
Merge branch 'master' into fix/1047-repl-doc-for-typeclasses