Update interactive Idris commands to new idris-eval signature
Merge pull request #73 from david-christiansen/interpreter-status

Update interactive Idris commands to new idris-eval signature