Show ! in the modeline while Idris is busy

Now, in Idris code and REPL buffers, a ! is shown while the interpreter
is taking care of a request from the user.
Merge pull request #69 from david-christiansen/interpreter-status

Show ! in the modeline while Idris is busy