Don't check hostname on network connections to REPL from editors.

It's already restricted to only listening on the 127.0.0.1 interface;
the additional check might just be being paranoid. Doesn't seem like
this kind of thing is a huge security concern, anyways.
Fixes #916.
Think I saw someone else complain about this too, recently.