Fix missing case in metavariable display

Fixes #569
Merge branch 'master' of github.com:edwinb/Idris-dev
Add a test for interactive features of REPL