Fix REPL completion

Now that idris-eval returns an optional second element, we needed to
examine the car to get the result.
Merge pull request #71 from david-christiansen/interpreter-status

Fix REPL completion