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.

Fixes #66.