Explicitly invoke idris, and pass current directory as working dir

Hopefully this allows idris to work for simple
examples/exercises (untested).