Remember names of deBruijn variables.
Merge branch 'debruijn-names' of https://github.com/ziman/idris into ziman-debruijn-names
Make sure binders are unique before case tree
Merge branch 'ziman-debruijn-names'
Merge branch 'master' of github.com:idris-lang/Idris-dev