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 "<$>"?
Merge pull request #619 from LeifW/diagnostic_on_repl_network_deny

Diagnostic on repl network deny