Make all Verified* type class methods total

We generally want proofs to be total.
Add two uncovered cases to substSC.
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
Merge pull request #1139 from ziman/fix-substsc

Add two uncovered cases to substSC
Merge pull request #1140 from PhilipRasmussen/idrisdoc

IdrisDoc test improvements, Haddock, and bug fix
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