Fixes idris-lang/Idris-dev#971. Renames induction holes such that they
are unique in context.
Merge pull request #976 from ahmadsalim/bug/inductionnamefix

Fixes idris-lang/Idris-dev#971.