Add --client option

$ idris --client x
If there is an idris instance running, idris --client will connect to it,
run the command 'x' and print the result.

This can be used for invoking useful REPL stuff from an editor, in particular
the :cs! command can be used to automatically case split in a function.