REPL improvements
REPL improvements

* Fix completion for namespaced names

* Complete 'up to' for names and metavars. This means if user enters full name the REPL won't show any other, longer
completions (if there are any).

* Namespace completion

Heather/Idris-dev,mpkh/Idris-dev,mpkh/Idris-dev,FranklinChen/Idris-dev,bravit/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,FranklinChen/Idris-dev,kojiromike/Idris-dev,bravit/Idris-dev,markuspf/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,jmitchell/Idris-dev,enolan/Idris-dev,jmitchell/Idris-dev,bravit/Idris-dev,FranklinChen/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,mpkh/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,markuspf/Idris-dev,enolan/Idris-dev,jmitchell/Idris-dev,bravit/Idris-dev,Heather/Idris-dev,enolan/Idris-dev,enolan/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,ben-schulz/Idris-dev,ben-schulz/Idris-dev,enolan/Idris-dev,uuhan/Idris-dev,ben-schulz/Idris-dev,ben-schulz/Idris-dev,jmitchell/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,bravit/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,eklavya/Idris-dev,FranklinChen/Idris-dev,eklavya/Idris-dev,enolan/Idris-dev,FranklinChen/Idris-dev,uuhan/Idris-dev,bravit/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,FranklinChen/Idris-dev,kojiromike/Idris-dev,jmitchell/Idris-dev,jmitchell/Idris-dev,Heather/Idris-dev,eklavya/Idris-dev,eklavya/Idris-dev