Add missing pattern in TT.hs

Idris tripped over an incomplete pattern match in nextName' while typechecking
https://github.com/defanor/parcomb/blob/1cd15bf9c7e4a06c30ee5a804ea5d4d4993bbbab/VISD.idr

I traced and added the missing pattern match. The file typechecks and tests pass
but I have not tried to understand what is actually going on in TT.hs.
Merge pull request #1493 from mixis/fix/master/nextNamme-pattern

Add missing pattern in TT.hs
No need to check in types for uniqueness
No need to check LHS for unique usage

Any duplication will be enforced by unification, and won't lead to
sharing itself (does suggest the function will be hard to apply in
interesting contexts though...)
Enable :unlet for ideslave
Merge branch 'unique'
Merge branch 'master' of github.com:idris-lang/Idris-dev
Use believe_me for DecEq on primitives

This way, they can compute at the REPL, which is far more useful
behaviour when testing (it is about the only legitimate use for
believe_me in my opinion too :)).
Merge pull request #1495 from edwinb/unique

Uniqueness changes
Merge pull request #1496 from edwinb/postulate-deceq

Postulate deceq
Update version number for CUFP release
Error when using empty namespace for disambiguation at REPL

Fixes #1497.
Merge pull request #1499 from Melvar/ideslave-unlet

Enable :unlet for ideslave
Merge pull request #1498 from david-christiansen/issue/1497

Error when using empty namespace for disambiguation at REPL
Uniquify binder names when leaving executor

This mimics the evaluator more closely and prevents shadowing bugs.
Merge pull request #1501 from david-christiansen/uniquify-executor

Uniquify binder names when leaving executor