Make all Verified* type class methods total

We generally want proofs to be total.
Added Haddock to a function
Added more Haddock
Merge remote-tracking branch 'upstream/master' into idrisdoc
Namespaces only containing private members is now correctly considered empty
Updated test idrisdoc006 to give more information usable on failure.
Updated idrisdoc006 to be more throughly
Added IdrisDoc test which verifies inclusion of abstract and public namespace members
Add two uncovered cases to substSC.
Merge remote-tracking branch 'upstream/master' into idrisdoc
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
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