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
Show defined and automatically generated class instances in different blocks
Properly ignore comments in ipkg files

Fixes #1149.
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
Add myself to the CONTRIBUTORS file
Merge pull request #1155 from paulkoerbitz/fix/1047-repl-doc-for-typeclasses

Fix/1047 repl doc for typeclasses
Inserted a newline which seamed to be missing.

Idris reported the help descriptions of '--eval' and '--exec' on the same line.
This file change simply reinserts a newline to fix the display issue.
Add removal of :info to CHANGELOG
Merge pull request #1159 from paulkoerbitz/fix/1047-repl-doc-for-typeclasses

Add removal of :info to CHANGELOG
Merge pull request #1157 from PhilipRasmussen/patch-1

Inserted a newline in which seemed to be missing in the usage message.
Fix record projections for fields which are params

Fixes #943
Merge branch 'master' of github.com:idris-lang/Idris-dev
Generate better record update functions

Specifically, make sure that the type respects any updates in
parameters, and leave parameter positions implicit so that the
elaborator can infer them (which is much easier than doing the hard work
in the setter itself...)
Rename record002 test to the correct name!

Oops