Fixes idris-lang/Idris-dev#971. Renames induction holes such that they
are unique in context.
Add :apropos command to REPL

:apropos STR searches names, types, and docs for STR
Add :apropos to CHANGELOG
Merge pull request #976 from ahmadsalim/bug/inductionnamefix

Fixes idris-lang/Idris-dev#971.
Merge pull request #978 from david-christiansen/feature/apropos

Add :apropos command to REPL