Get some diagnostic info on why the Idris REPL refuses your connection.

Or get an alert someone's trying to hack you, whatever.
Why "do" when you can "<$>"?
Fix integer literals at REPL
Remove calls to "error". Fixes #607.
Make --ideslave imply --nocolour
Remove "CaseSplit" constructor and implementation which could never
be called (the REPLParser uses CaseSplitAt). Furhermore, we no longer
need to export "split" from CaseSplit.hs
Change from shebangs with absolute references to using /usr/bin/env
Merge pull request #620 from david-christiansen/issue/607

Remove uses of error from ideslave and fix colouring
Merge pull request #619 from LeifW/diagnostic_on_repl_network_deny

Diagnostic on repl network deny
Implement type-of ideslave command, which uses Check in the background

Furthermore, instead of printing with iputStrLn, use iPrintResult to
indicate that the command finished successfully
Merge pull request #622 from markuspf/fix-tests

Change from shebangs with absolute references to using /usr/bin/env
Implement CaseSplit in IdeSlave
support for add-clause in IdeSlave
Merge pull request #621 from hannesm/cleanup

Remove "CaseSplit" constructor and implementation which could never
Reset test runscripts to mode 0755
support for add-missing, make-with-block and proofsearch for ideslave
support for add-proof-clause in IdeSlave
Re-insert the missing newlines in :t for metavars
Merge pull request #625 from markuspf/fix-tests

Reset test runscripts to mode 0755
minor cleanup; switch to idris-lang github url